Wir fixieren eine auflösende Filtrierung

${\displaystyle \{e\}=G_{0}\subseteq G_{1}\subseteq G_{2}\subseteq \ldots \subseteq G_{k-1}\subseteq G_{k}=G.}$

Es sei

${\displaystyle q\colon G\longrightarrow H}$

der Restklassenhomomorphismus. Wir setzen ${\displaystyle {}H_{i}=q(G_{i})}$, dies ist eine Filtrierung von ${\displaystyle {}H}$ mit Untergruppen. Wir betrachten das kommutative Diagramm

${\displaystyle {\begin{matrix}G_{i}&{\stackrel {}{\longrightarrow }}&G_{i+1}&\\\downarrow &&\downarrow &\\H_{i}&{\stackrel {}{\longrightarrow }}&H_{i+1}&\!\!\!\!\!,\\\end{matrix}}}$

wobei die vertikalen Homomorphismen surjektiv sind. Wir behaupten, dass ${\displaystyle {}H_{i}}$ ein Normalteiler in ${\displaystyle {}H_{i+1}}$ ist, und ziehen dazu Fakt heran. Sei also ${\displaystyle {}h\in H_{i}}$ und ${\displaystyle {}x\in H_{i+1}}$, die wir durch ${\displaystyle {}{\tilde {h}}\in G_{i}}$ bzw. ${\displaystyle {}{\tilde {x}}\in G_{i+1}}$ repräsentieren. Dann ist ${\displaystyle {}xhx^{-1}=q({\tilde {x}}{\tilde {h}}{\tilde {x}}^{-1})}$ und wegen der Normalität von ${\displaystyle {}G_{i}}$ ist ${\displaystyle {}{\tilde {x}}{\tilde {h}}{\tilde {x}}^{-1}\in G_{i}}$ und somit ${\displaystyle {}xhx^{-1}\in H_{i}}$. Wir betrachten die zusammengesetzte surjektive Abbildung

${\displaystyle G_{i+1}\longrightarrow H_{i+1}\longrightarrow H_{i+1}/H_{i}.}$

Da ${\displaystyle {}G_{i}}$ zum Kern dieser Abbildung gehört, gibt es aufgrund von Fakt eine surjektive Abbildung

${\displaystyle G_{i+1}/G_{i}\longrightarrow H_{i+1}/H_{i},}$

weshalb ${\displaystyle {}H_{i+1}/H_{i}}$ ebenfalls kommutativ ist.