Dado que "ux" ≡ "uy" (mod p) significa que "p" divide a "ux - uy", sacando factor común, "u"("x" - "y"), y puesto que "p" no divide a "u", tenemos que "p" divide a ("x" - "y")