Puesto que "b" es coprimo con "p", la identidad de Bézout asegura que existen dos enteros "x" e "y" tales que: