Nos dice que hay un elemento únicoa−1 tal queaa−1=b1 si y sólo sia está en el conjunto reducido de residuos (módulob). Esta solución debe estar enR, porque\(a\...Nos dice que hay un elemento únicoa−1 tal queaa−1=b1 si y sólo sia está en el conjunto reducido de residuos (módulob). Esta solución debe estar enR, porquea, a su vez, es la solución dea′x+by=1 y así lo implica Lemma de Be ́zoutgcd. Por cada unoa \in \mathbb{Z}_{p} hay un únicoa′ = _{p} -a tal quea+a′ = _{p} 0.