Ricci curvature
が導かれる。よってリッチテンソル formula_11 は対称テンソル。