Category:Normed Vector Space is Finite Dimensional iff Unit Sphere is Compact