(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