Sigue del corolario, ya que formula_137 es suprayectiva, que la imagen de cada ideal de formula_22 es un ideal principal de formula_139 Usando este resultado, podemos listar a los ideales de formula_139