theorem :: NUMBER05:25

115 satisfies_Sierpinski_problem_76a