theorem :: NUMBER07:69
141 satisfies_Sierpinski_problem_89