theorem :: NUMBER07:55

27 satisfies_Sierpinski_problem_87a