theorem Th41: :: NUMBER07:41

for n being Nat st n is even & n > 8 holds
n satisfies_Sierpinski_problem_48