Como todos los módulos "n" son coprimos entre sí, "N" y "n" son a su vez coprimos entre sí, luego por la Identidad de Bezout se asegura la existencia de dos enteros "r" y "s" tales que formula_7.