Corollary
Tag 048T, permanent. Cite it as [Bourbaki, Tag 048T].
Commutative Algebra, chapter II, § 3. Local rings. Passage from the local to the global
Let A be an integral domain and prime ideals of A, no two of which are comparable with respect to inclusion. If in the field of fractions of A, the maximal ideals of A are .
Setting , by Proposition 17 (c); hence the elements of are invertible in and for all . Our assertion then follows by virtue of Proposition 17 (a).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.