theorem :: NUMBER08:61

20 satisfies_Sierpinski_problem_86