 Krull height theorem

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.