# If $[K:F]< \infty$ then $[L:F]< \infty$

Let $F\subset L\subset K$ be fields.

Seen $K$ as a vector space over $F$, if we set $[K:F]$= dimension of $K$ over $F$, Is it true that if $[K:F]< \infty$, then $[L:F]< \infty$?

Let's write $n = [K:F]$ (which is finite here).
Then $K$ is a $F$- vector space of dimension $n$. Now, you can easily check that $L$ is a $F$-subspace of $K$. Now, just use the common result that a subspace of a finite-dimensional vector space is itself a finite-dimensional subspace to conclude.
• Some people may argue that the formula $[K:F] = [K:L] \times [L:F]$ would easily give us the result, but one may wonder why the fact that $[K:F]$ is finite automatically gives meaning to the above formula. – Junkyards Sep 28 '17 at 15:46