Finite-Dimensional Normed Spaces Are Banach