 However, formula_33, which means that formula_34 has degree less than formula_31, contradicting the minimality.Let formula_14 be a left-ideal.Let formula_37 be the set of leading coefficients of members of formula_38.