theorem :: NUMBER07:53

23 satisfies_Sierpinski_problem_87a