模n乘法階gcd(a,n)=1時，ord_n(a)是a^k≡1 mod n的最小正整數k。atlas-multiplicative-order-mod-n · canonical_mko模n乘法階前置節點模反元素最大公因數與互質自然數整除Euler定理