Esto lleva al sistema de ecuaciones sobre los enteros: