theorem :: NUMBER05:34

53 satisfies_Sierpinski_problem_76b