Misalkan \(G' = \langle a b a^{-1} b^{-1} : a, b \in G \rangle\) adalah subgrup yang terdiri atas semua hasil kali hingga elemen berbentuk \(aba^{-1}b^{-1}\) dalam grup \(G\text{.}\) Maka \(G'\) merupakan subgrup normal dari \(G\) dan \(G/G'\) abelian.