First Bianchi identity

For a torsion-free connection, $R^{\mu }{}_{\alpha \beta \gamma }+R^{\mu }{}_{\beta \gamma \alpha }+R^{\mu }{}_{\gamma \alpha \beta }=0$.