theorem Th50: :: NUMBER08:50

for n being Nat st n satisfies_Sierpinski_problem_86 holds
n >= 6