Kita akan menyatakan himpunan semua automorfisme dari \(G\) dengan \(\aut(G)\text{.}\) Buktikan bahwa \(\aut(G)\) merupakan subgrup dari \(S_G\text{,}\) yaitu grup permutasi dari \(G\text{.}\)