Category:Subset of Finite Dimensional Normed Vector Space is Compact iff Closed and Bounded