theorem Th42: :: PEPIN:42

for n being Nat st n <> 0 holds
Euler n <> 0