theorem Th30: :: NUMBER09:30

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