Multiplicando por "b" se obtiene "pbx" + "aby" = "b", y puesto que los dos sumandos del lado izquierdo son divisibles por "p", el término de la derecha también es divisible por "p".