(mod "n"), vemos que "a" tiene un inverso multiplicativo si y sólo si "a" y "n" son coprimos.