Teorema A-8 C(a) merupakan = ∈ = subgroup dari G Pembuktian: Akan ditunjukkan C(a) adalah subgroup dari G ( ) ≠ ∅ karena ada ∈ yang memenuhi = , maka ( ) ⊂ , ambil sebarang , ∈ ( ) , maka = dan =