theorem Th55: :: PEPIN:55

for n being Nat holds Fermat n > 2