Krull's height theorem
Statement
Let be a Noetherian commutative unital ring and be elements in . Let be minimal among primes containing all the s. Then, the codimension of is at most .
There is also a converseof this statement viz converse of Krull's height theorem.