theorem :: NUMBER07:51

21 satisfies_Sierpinski_problem_87a