Krull's height theorem
There is also a converse of this statement viz converse of Krull's height theorem.
In particular, we see that the ring is a local Artinian ring with unique maximal ideal , hence is nilpotent modulo .
Supose is a prime contained in , with no primes between. Then, it suffices to show, inductively, that is minimal over an ideal generated by elements.