theorem Th24: :: NUMBER13:24
5 satisfies_Sierpinski_problem_121_for 1