112 = (2 |^ 4) * (7 |^ 1) by Lm5;
hence not 113 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:7; :: thesis: verum