 For example, the ring of germs of holomorphic functions on a Riemann surface is a discrete valuation ring.By Krull's principal ideal theorem, a foundational result in the dimension theory of rings, the dimension of
is at least "r" − "n".A ring "R" is called a complete intersection ring if it can be presented in a way that attains this minimal bound.