Lemma 2
Tag 053M, permanent. Cite it as [Bourbaki, Tag 053M].
Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains
Let be a non-empty finite family of prime ideals of of height 1 and let ; then the ring is a principal ideal domain.
is a semi-local ring whose maximal ideals are the for , the local ring being isomorphic to , (Chapter 11, § 3, no. 5, Proposition 17) and hence a discrete valuation ring. The ring is therefore a Dedekind domain (§ 2, no. 2, Theorem 1 (f) and, as it is semi-local it is a principal ideal domain (§ 2, no. 2, Proposition 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.