The Stacks project

Proof. This is a special case of Modules, Lemma 17.25.10, but we also give a direct proof. Suppose that $U \subset X$ and $V \subset X$ are two open subsets such that $f|_ U$ has an inverse $g$ and $f|_ V$ has an inverse $h$. Then clearly $g|_{U\cap V} = h|_{U\cap V}$. Thus it suffices to show that $f$ is invertible in an open neighbourhood of any $x \in D(f)$. This is clear because $f \not\in \mathfrak m_ x$ implies that $f \in \mathcal{O}_{X, x}$ has an inverse $g \in \mathcal{O}_{X, x}$ which means there is some open neighbourhood $x \in U \subset X$ so that $g \in \mathcal{O}_ X(U)$ and $g\cdot f|_ U = 1$. $\square$