Para todo complejo formula_141 hay al menos un entero de Gauss formula_142 tal que formula_143