Let $K$ be a global field (number field or algebraic function field over a finite field), $\mathcal{V}$ the set of $\mathbb{Z}$-valuations on $K$, $S \subseteq \mathcal{V}$ a finite set. The ring of $S$-integers is the subring of $K$ defined as $$ \mathcal{O}_S = \lbrace x \in K \mid \forall v \in \mathcal{V} \setminus S : v(x) \geq 0 \rbrace. $$ Such a ring is always finitely generated as a ring (i.e. as a $\mathbb{Z}$-algebra).

Where should I look to find a reference for this statement? It feels like a statement from commutative algebra, but a minimal amount of number theory (respectively algebraic geometry) is needed to prove it, at least in the proofs I know of. On the other hand, there is no mention of the statement in any algebraic number theory books I consulted.

Alternatively, if someone has a very short proof, that is also very welcome. I need the statement for an article, but writing out all the details of the number theoretic proof would fall outside of the scope of the article.