WT:MATH#Undiscussed move of Euclidean space to Finite dimensional Euclidean space