On suppose donnée une suite exacte 0→A′uAvA′′ et deux homomorphismes injectifs A′a′C′,A′′a′′C′′, où A,A′,A′′,C′,C′′ sont des modules sur un même anneau. Montrer que, si C′ est un module injectif (Alg., chap. II, 3e éd., § 2, exerc. 11), il existe un homomorphisme injectif a:A→C′⊕C′′ tel que le diagramme
A′a′↓C′uiAa↓C′⊕C′′vpA′′↓a′′C′′
soit commutatif (i et p étant les applications canoniques).