注意：整数 a 对模数 n 之模逆元存在的充分必要条件是 a 和 n 互素(a、n互素是存在逆元的前提)， 若此模逆元存在，在模数 n 下的除法可以用和对应模逆元的乘法来达成，此概念和实数除法的概念相同。