theorem :: NUMBER05:26

116 satisfies_Sierpinski_problem_76a