17 = (2 * 8) + 1 ;
hence not 17 satisfies_Sierpinski_problem_86 by Th53; :: thesis: verum