Corollary

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

— Let $K, E$ and $F$ be three fields such that $K \subset E \subset F$ . Then we have

\text{tr. deg}_K F = \text{tr. deg}_K E + \text{tr. deg}_E F

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

Cited by

Nothing.