theorem :: NUMBER07:67

85 satisfies_Sierpinski_problem_89