有限群基本定理（或称拉格朗日定理）

在Miller-Rabin素数测试的正确性证明里使用过~证明于此。