theorem :: NUMBER05:23

113 satisfies_Sierpinski_problem_76a