Krull height theorem
= Krull height theorem
{c}
{wiki}
If an ideal of a <Noetherian ring> is generated by $n$ elements, every prime ideal minimal over it has height at most $n$. The proof inducts on $n$, using the <Krull principal ideal theorem> in a quotient and <prime avoidance> to choose a prime chain compatible with the induction.