リーマン多様体
ビアンキの恒等式からの帰結として、リーマン多様体のリッチテンソルは次の意味で対称となる。