State/Multiplicative inverses exist mod p

 =Proof=