for n being Nat holds Fermat n > 2