Euclidean space
ユークリッド空間に対しては、次が成立する。