Misalkan \(|G| = p\) dengan \(p\) bilangan prima. Maka \(G\) bersifat siklik dan sebarang \(g \in G\) sedemikian sehingga \(g \neq e\) merupakan pembangkit.
Bukti.
Misalkan \(g\) berada dalam \(G\) sedemikian sehingga \(g \neq e\text{.}\) Berdasarkan Korolari 6.2.3, orde \(g\) harus membagi orde grup. Karena \(|\langle g \rangle| \gt 1\text{,}\) nilainya harus \(p\text{.}\) Jadi, \(g\) membangkitkan \(G\text{.}\)