theorem :: NUMBER08:59

14 satisfies_Sierpinski_problem_86