Four-dimensional Euclidean space