Finite Extensions Are Algebraic