On considère un diagramme commutatif de groupes commutatifs
Aa↓A′a′↓A′′uu′u′′Bb↓B′b′↓B′′vv′C↓cC′↓c′
On suppose que : 1∘(u,v) et (b,b′) sont des suites exactes ; 2∘v′∘u′=0 et a′∘a=0 ; 3∘c et u′ sont injectifs et a′ est surjectif. Montrer que dans ces conditions u′′ est injectif.