theorem :: NUMBER08:60

16 satisfies_Sierpinski_problem_86