模反元素n≥2時，a模n有乘法反元素恰當gcd(a,n)=1；反元素在模n意義唯一。atlas-modular-inverse · canonical_mko模反元素前置節點最大公因數與互質自然數模同餘方程式