Corollary 2
Tag 04NZ, permanent. Cite it as [Bourbaki, Tag 04NZ].
Commutative Algebra, chapter V, § 1. Notion of an integral element
Let be an integral domain, its field of fractions, an algebra over and the integral closure of in . The elements of which are algebraic over (no. 1, Example 1) are the elements of the form where and ; if is the algebraic closure of in , there exists a basis of over contained in .
The first assertion follows from Proposition 16 applied in the case . If is a basis of over , then there exists for all an element of such that ; then is also a basis of over .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.