54 = (2 |^ 1) * (3 |^ 3) by Lm9;
hence not 53 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:3; :: thesis: verum