Finite-Dimensional Subspaces Are Closed