theorem :: NUMBER05:24

114 satisfies_Sierpinski_problem_76a