36 = (2 |^ 2) * (3 |^ 2) by Lm3, Lm8;
hence not 37 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:3; :: thesis: verum