El inverso multiplicativo de "n" módulo "p" existe si y sólo si "n" y "p" son coprimos, es decir, si mcd("n", "p")=1.