son coprimos si y sólo si mcd("a", "p") = 1; y la identidad de Bézout nos asegura que existen números enteros "x" e "y" tales que: