on suppose f bijective
on suppose f o g = f o h alors g=h idem dans l'autre sens
on suppose f est un élément régulier
soit a et b dans E, si f(a)=f(b) alors f o a = f o b donc a=b
donc f est injective
2 cas : E est un singleton alors f est surjective
E n'est pas un singleton (et n'est pas vide)
On peut construire 2 fonction de tel que pour tout x dans E :
g(x)=h(x) <=> x€ Im(f)
On a g o f = h o f donc g=h donc Im(f)=E ainsi f est surjective