theorem :: NUMBER07:49

17 satisfies_Sierpinski_problem_87a