 Krull principal ideal theorem

In a Noetherian ring, every prime ideal minimal over a proper principal ideal has height at most one.