Let us prove following interesting identity between and
for any function .
For any function , using the formula
Since is a funtion, we know that
then we obtain
Now is a vector, we need to use the Riemmanian curvature tensor, which measures the difference between and .
Notice that there was an extra term involving Lie bracket. Fortunately, that term vanishes. Thus
The proof follows.