Pembuktian Teorema 3
⇐ Diketahui untuk setiap , , ∈ berlaku = . Dibuktikan N subgroup normal dari G
Ambil ∈ karena = maka ( )( ) = atau ab=c, maka
= ∀ , ∈
Jika diambil = −1 , maka
−1 = −1
−1 =
−1 =
−1 =
Hal ini menunjukkan N adalah subgroup normal dari G