Normed Vector Space is Finite Dimensional iff Unit Sphere is Compact

Theorem
Let $X$ be a normed vector space.

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

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