theorem :: NUMBER07:66
33 satisfies_Sierpinski_problem_89