46 = 2 * 23 ;
hence not 47 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:23; :: thesis: verum