theorem :: NUMBER07:47

13 satisfies_Sierpinski_problem_87a