Euclidean 4-space