theorem :: NUMBER05:31

20 satisfies_Sierpinski_problem_76b