Podemos utilizar la computación modulo $10$ como un ejemplo.
Los números de $a$ que no son de primer a $10$ son los números, y los múltiplos de $5$. Una inversa de a $a$ modulo $10$ es cualquier número $a'$ tal que $a a' \equiv 1 \pmod{10}$ o, $aa'$ termina con el dígito $1$.
Ahora, ¿por qué para un número $a$, es imposible encontrar a $a'$ tal que $aa'$ termina con $1$ ? Y para $a$ varios de $5$ ?
Esto generaliza bien a una prueba de: si $d=\gcd(a,m) \neq 1$, $a$ no es invertible modulo $m$; es decir, para cualquier $a'$, $d$ divide tanto a a$aa'$$m$, y por lo tanto, para cualquier $a'$ y $t$, $aa' - t m$. Esto implica que $aa' - t m$ siempre va a ser $\neq 1$; o que $aa' \not \equiv 1 \pmod{m}$.
De lo contrario la dirección, es un poco menos obvio, pero no más difícil. Es decir, que ya deberían saber la identidad de Bézout: es decir, si $d = \gcd (a,m)$, entonces no existe $a', m'$ tal que $aa' + mm' = d$. Si $d = 1$, a continuación, inmediatamente, esto significa que $aa' \equiv 1 \pmod{m}$.