72 = (2 |^ 3) * (3 |^ 2) by Lm4, Lm8;
hence not 71 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:3; :: thesis: verum