Como formula_482 satisface la ecuación formula_497, tenemos que formula_498 está en ese ideal, por lo que formula_119 será un factor de formula_498.