theorem Th32: :: NUMBER13:32

2 satisfies_Sierpinski_problem_121_for 9