theorem :: NUMBER09:29

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