theorem :: NUMBER07:68

93 satisfies_Sierpinski_problem_89