その結果、有限アーベル群において、mで群の元のすべての位数の最大値を表せば、すべての元の位数はmを割り切ることを証明できる。
其结论可证明在一个有限阿贝尔群中，若m为所有群元素的阶之中的最大值，则每一个元素的阶都会整除m。