Bizonyítás
Ha N magja egy csoporthomomorfizmusnak, akkor a 25.5. Tétel és a 25.6. Definíció alapján N normálosztó G-ben, azaz N\triangleleft G.
Megfordítva: Ha N normálosztó G-ben, akkor a 25.9. Tétel 4. pontja alapján a G-ből kiinduló és a G/N faktorcsoportba mutató természetes csoporthomomorfizmusnak éppen N a magja.
∎