Category:Locally Euclidean Space is Locally Compact