State/Relative primality to the modulus is equivalent to invertibility of a residue

 =Proof=