Es sei

${\displaystyle \varphi \colon R\longrightarrow S}$

ein ganzer Ringhomomorphismus. Es seien ${\displaystyle {}{\mathfrak {p}}\neq {\mathfrak {q}}}$ Primideale in ${\displaystyle {}S}$ mit ${\displaystyle {}\varphi ^{*}({\mathfrak {p}})=\varphi ^{*}({\mathfrak {q}})}$.

Dann ist ${\displaystyle {}{\mathfrak {p}}\not \subseteq {\mathfrak {q}}}$.

D.h. die Fasern sind nulldimensional.