Proposition 11

Tag 06SL, permanent. Cite it as [Bourbaki, Tag 06SL].

— If E and F are algebraically disjoint over K then $E \cap F$ is algebraic over K.

This follows from Def. 5.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.