74 = 2 * 37 ;
hence not 73 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:37; :: thesis: verum