State/There are no zero divisors mod p

 =Proof=

