(2) Jika g N g −1 = N, ∀ g ∈ G maka N subgroup normal dari grup G.
gNg −1 = N, ∀ g ∈ G→ N subgrup normal dari G
→ Gn=Ng, ∀g ∈ G
→ Gn ⊆ Ng, dan Ng ⊆ gn
gNg −1 = N ↔ gNg −1 ⊆ N dan N ⊆ gNg −1
gNg −1 ⊆ N N ⊆ gNg −1
→ gng −1 ∈ N → ∈ gng −1
→, ∀ n ∈ N →ng ∈ , ∀
→ gn ⊆ Ng →Ng ⊆ gN