La existencia de solución del sistema sobre los enteros requiere varias condiciones: