theorem :: NUMBER13:31

1 satisfies_Sierpinski_problem_121_for 8