Remark 1
Tag 06LW, permanent. Cite it as [Bourbaki, Tag 06LW].
Algebra, V, p. 55, § 9. Conjugate elements and quasi-Galois extensions
Let be an extension of and a subextension of , and suppose that is quasi-Galois over . Let us show that every -automorphism of leaves invariant. For let and the minimal polynomial of over . Since is quasi-Galois over , there exist such that ; we have , hence is one of the and so belongs to . We have proved , and now follows by V, p. 52, Prop. 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.