theorem :: NUMBER05:32

32 satisfies_Sierpinski_problem_76b