子或者整数 a 对模数 n 之模反元素存在的充分必要条件是 a 和 n 互质，若此模反元素存在，在模数 n 下的除法可以用和对应模反元素的乘法来达成，此概念和实数除法的概念相同。
求模反元素.
用扩展欧几里得算法.设exgcd(a,n)为扩展欧几里得算法的函数，则可得到ax+ny=g，g是a,n的最大公因数。
若formula_3.则该模反元素存在，根据结果formula_4在 mod n 之下，formula_5，根据模反