Normed Vector Space is Finite Dimensional iff Unit Sphere is Compact

Theorem
Let $X$ be a normed vector space.

Let $\Bbb S = \map {\Bbb S_1} 0$ be the unit sphere centred at $0$ in $X$.

Then $X$ is finite dimensional $\Bbb S$ is compact.