 Second covariant derivative of a Killing vector

For a Killing vector field and the curvature convention $[{\nabla }_{\mu },{\nabla }_{\nu }]V^{\alpha }=R^{\alpha }{}_{\beta \mu \nu }{V}^{\beta }$,The identity follows by combining the Ricci identity, Killing equation, and first Bianchi identity.