Soit x dans N.
Comme g est surjective, l'ensemble A={ t dans N/g(t)≤f(x)} est non vide et il est fini car f est injective.
Il possède alors un plus grand élément y.
Mais f(y)≤g(y)≤f(x) ==> f(y)≤f(x).
Il existe z dans N tel que g(z)=f(y)
==> f(z)≤g(z)=f(y)≤f(x)
==> z dans A ==> z≤y
Comme A est fini , il existe t dans N tel que g(t)=f(z) et f(t)=f(z)
==> f(z)=g(z)=f(y) ==> z=y
Donc f(x)=f(y) ==> x=y