G bir grup olsun. ZG = {x∈G | ax=xa , ∀a∈G}, G'nin merkezleyicisi olsun. Biliyoruz ki ZG⊲ olur. Ayrıca \Phi = \{ \phi | \phi : G \rightarrow G, \phi bir inner otomorfizma\}. Yani \Phi, G'nin inner otomorfizmalarından oluşan grup olsun. O halde,
G/Z_G \simeq \Phi
olduğunu gösterin.