68 = (2 |^ 2) * (17 |^ 1) by Lm3;
hence not 67 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:17; :: thesis: verum