Category:Euclidean Space is Banach Space