theorem T51: :: NUMBER12:12

for n being non zero Nat holds n gcd (Fermat n) = 1