Proposition. finiteness implies algebraicity [1404]

$K / F$ is finite $\implies$ $K / F$ is algebraic.