62 = 2 * 31 ;
hence not 61 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:31; :: thesis: verum