theorem Th30: :: NUMBER13:30

3 satisfies_Sierpinski_problem_121_for 7