Si [formule], alors [formule].
Morphisme [formule], [formule]. [formule] (car [formule]). [formule] surjectif : par Bézout, [formule]. Pour [formule], poser [formule] : [formule]. Par le 1er théorème d'isomorphisme : [formule].