Proof. sketch [1207A]

$\implies$: Given basis of $L$ over $K$ and $K$ over $F$, denote by $\alpha_{i}, 1 \leq i \leq n$ and $\beta_{j}, 1 \leq j \leq m$ respectively, then we can prove $\alpha_{i}\beta_{j} \in L, \forall i, j$ are linearly independent over $F$. It follows that $[L : F] \geq mn$. So if $[L : F] < \infty$, it must follow that $m < \infty$ and $n < \infty$.

$\impliedby$: Assume now $m, n < \infty$. We can prove that $\alpha_{i}\beta_{j} \forall i, j$ actually spans $L$ over $F$ by showing that every element of $L$ can be written in the form $\sum F \alpha_{i} \beta_{j}$. Then $\alpha_{i} \beta_{j}$ is a basis of $L$ over $F$, hence $[L : F] = mn < \infty$.