44 = (2 |^ 2) * (11 |^ 1) by Lm3;
hence not 43 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:11; :: thesis: verum