four-dimensional Euclidean space