Suponhamos que M seja um ideal maximal de um domínio R e que alguma potência de M seja finitamente gerada. Vamos mostrar que M será finitamente gerado em cada um dos seguintes casos: i M tem altura um, ii R é inteiramente ...