Esto implica que formula_12, y por ser todos los "n" coprimos, se sigue que el producto de los módulos "N"="n""n"..."n" también divide a "x" - "y", es decir, formula_13.