theorem :: NUMBER07:70
201 satisfies_Sierpinski_problem_89