de lo que se sigue que "x" ≡ "y" (mod p).