Lemma 9.4. Assuming that:

$R$ is an integral domain
$R$ is integrally closed in $K = Frac (R)$
$0 \neq I \subseteq R$ a finitely generated ideal
$x \in K$

Then if

x I \subseteq I

, we have

x \in R

.