Solution (source code)

= Solution

Finite means $[L:K]<\infty$; algebraic means every element satisfies a nonzero <polynomial> over $K$. Linear dependence among $1,x,\ldots,x^n$ proves finite implies algebraic. The algebraic closure $\overline{\mathbb Q}/\mathbb Q$ is algebraic but infinite.