theorem :: NUMBER08:62

22 satisfies_Sierpinski_problem_86