Riemann curvature tensor
証明には、ガウス曲率の定義とリーマン曲率テンソルに関するを用いる方法などがある。