theorem :: NUMBER07:43

not 17 satisfies_Sierpinski_problem_48