On a gofoh=f et f bijective, h surjective et h injective. g va de E dans E, f de E dans F et h de F dans
Donner h et g tel que si E n'est pas un ensemble fini et gofoh=f
Alors c'est très simple, comme gohof est bijective tu peux en déduire que f est injective et g est surjective.
Du coup il suffit de prendre h = hof et en post-composant par g il reste à montrer que g