De lo anterior toda cadena creciente de ideales es estacionaria (o sea que R es noetheriano) y primo implica maximal.