104 = (2 |^ 3) * (13 |^ 1) by Lm4;
hence not 103 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:13; :: thesis: verum