Jika \(G\) adalah grup berorde \(p\text{,}\) dengan \(p\) suatu bilangan prima, maka \(G\) isomorfik dengan \({\mathbb Z}_p\text{.}\)