theorem :: NUMBER07:58

112 satisfies_Sierpinski_problem_87b