 Solution

Expanding the two covariant derivatives of a vector, the second partial derivatives cancel in the commutator. The remaining derivatives and products of Christoffel symbols combine into the coordinate definition of the Riemann curvature tensor, giving the Ricci identityFor a type-$(2,0)$ tensor, the connection acts on both upper indices, so the curvature commutator on a contravariant tensor is