Siguin grups i un morfisme de grups. Siguin el morfisme de pas al quocient i la inclusió . Llavors, factoritza a través de i , on és un isomorfisme de grups.
Siguin grups i un morfisme de grups. Siguin el morfisme de pas al quocient i la inclusió . Llavors, factoritza a través de i , on és un isomorfisme de grups.