theorem :: NUMBER13:25

1 satisfies_Sierpinski_problem_121_for 2