Misalkan \(G\) grup hingga dan \(g \in G\text{.}\) Maka orde \(g\) harus membagi banyaknya elemen dalam \(G\text{.}\)