は、任意の整数環(つまり、ある代数体の整数環)に対し、それを含むような整数環であって、の全てのイデアルがの主イデアルとなるようなものが存在すると言う定理である。