This theorem guarantees that every proper ideal in a commutative [Noetherian ring](/page/Noetherian%20Ring) is contained in a prime ideal that is minimal over it. It is a foundational existence result for decomposing algebraic and geometric structure into irreducible pieces.