The Stacks project

Proof. It is clear that the standard open $D(f)$ is contained in $U$. By Serre's criterion Lemma 10.157.4 we see that $\mathfrak p \not\in U$ implies that for some $\mathfrak q \subset \mathfrak p$ we have either

1. Case I: $\text{depth}(R_{\mathfrak q}) < 2$ and $\dim (R_{\mathfrak q}) \geq 2$, and

2. Case II: $R_{\mathfrak q}$ is not regular and $\dim (R_{\mathfrak q}) = 1$.

This in particular also means that $R_{\mathfrak q}$ is not normal, and hence $f \in \mathfrak q$. In case I we see that $\text{depth}(R_{\mathfrak q}) = \text{depth}(R_{\mathfrak q}/fR_{\mathfrak q}) + 1$. Hence such a prime $\mathfrak q$ is the same thing as an embedded associated prime of $R/fR$. In case II $\mathfrak q$ is an associated prime of $R/fR$ of height 1. Thus there is a finite set $E$ of such primes $\mathfrak q$ (see Lemma 10.63.5) and

as desired. $\square$