108 = (2 |^ 2) * (3 |^ 3) by Lm3, Lm9;
hence not 107 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:3; :: thesis: verum