>>519
ちなみにRμν はリッチテンソル、R はスカラー曲率だから
ビアンキの第二恒等式から、l = h = a とおいて縮約を行うと
その発散は0が成り立つ