リーマン多様体
リーマン多様体のある領域がユークリッド空間である必要十分条件はリーマン曲率テンソルが0.