$G$ bir grup olsun. $Z_G$ = $\{x \in G$ $|$ $ax =xa$ , $\forall a \in G\}$, $G$'nin merkezleyicisi olsun. Biliyoruz ki $Z_G \vartriangleleft G$ 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.