theorem :: NUMBER05:33
51 satisfies_Sierpinski_problem_76b