58 = 2 * 29 ;
hence not 59 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:29; :: thesis: verum