theorem :: NUMBER13:29
1 satisfies_Sierpinski_problem_121_for 6