82 = 2 * 41 ;
hence not 83 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:41; :: thesis: verum