Lanjutan Pembuktian Ambil ∈ ( ) menurut definisi = , ∀ ∈ , karena G grup maka ′ ∈ Perhatikan: = ′ ′ ′ = ′ ′ ′ = ′ ′ = ′ Terbukti ∈ Karena kedua sifat dari teorema A-1 Dipenuhi maka terbukti bahwa Z(G) merupakan subgroup dari G