theorem :: NUMBER09:31

for m, n being Nat st m <= n holds
Fermat m <= Fermat n