5 |^ 2 = 5 * 5 by NEWTON:81;
then 100 = (2 |^ 2) * (5 |^ 2) by Lm3;
hence not 101 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:5; :: thesis: verum