theorem :: NUMBER05:35

62 satisfies_Sierpinski_problem_76b