theorem :: NUMBER08:63

32 satisfies_Sierpinski_problem_86