theorem Th33: :: NUMBER13:33
2 satisfies_Sierpinski_problem_121_for 10