theorem Th27: :: NUMBER13:27

2 satisfies_Sierpinski_problem_121_for 4