theorem Th53: :: NUMBER08:53

for n being Nat st n satisfies_Sierpinski_problem_86 holds
n is even