Proposition 8
Tag 04NG, permanent. Cite it as [Bourbaki, Tag 04NG].
Commutative Algebra, chapter V, § 1. Notion of an integral element
Let be a ring, a family of subrings of and for each let be a subring of . If each is integrally closed in , then is integrally closed in .
This follows immediately from Definition 3 and no. 1, Corollary 1 to Proposition 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.