如果模数p为素数，则对于Zp中每一个整数都存在唯一的乘法逆元。