theorem :: NUMBER05:27

117 satisfies_Sierpinski_problem_76a