On suppose donnée une suite exacte A′uAvA′′→0 et deux homomorphismes surjectifs B′a′A′,B′′a′′A′′, où A,A′,A′′,B′,B′′ sont des modules sur un même anneau. Montrer que si B′′ est un module projectif, il existe un homomorphisme surjectif a:B′⊕B′′→A tel que le diagramme
B′a′↓A′iuB′⊕B′′a↓ApvB′′↓a′′A′′
soit commutatif (i et p étant les applications canoniques).