allora,
si dice che un numero $ x $ è invertibile modulo n se e solo se esiste $ y $ tale che $ xy\equiv 1 \mod n $.
Ora, se $ mcd(x,n)>1 $ allora hanno un fattore comune, quindi non potrà mai essere $ xy= kn + 1 $, poichè il membro a sinistra sarebbe divisibile per $ mcd(x,n) $, il membro a destra no. Di contro, se $ mcd(x,n)=1 $ allora $ x $ è invertibile. lascio a te la dimostrazione.
