theorem :: NUMBER13:28

1 satisfies_Sierpinski_problem_121_for 5