40 = (2 |^ 3) * (5 |^ 1) by Lm4;
hence not 41 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:5; :: thesis: verum