$G:$ 有限群, $p:$ 素数 とする。
このとき、

$$p\mid |G|$$

ならば、$G$ には位数 $p$ の元が存在する。

すなわち、ある $g\in G$ が存在して、

$$ord(g)=p$$

となる。

---

特に、$q\mid |\mathbb{F}_{p}^{\times}|$ なら、$\mathbb{F}_{p}^{\times}$ には位数 $q$ の元が存在する。