Krull's Principal Ideal Theorem

A theorem in dimension theory which states that in a Noetherian ring R, any minimal prime ideal lying over a principal ideal (f) has height at most one; equivalently, the height of any minimal prime over an ideal generated by r elements is at most r (in particular the principal ideal case gives bound one).