Category:Normed Vector Space is Open in Itself