Contracted Bianchi identity (source code)

= Contracted Bianchi identity

The Ricci tensor and scalar satisfy $\nabla^\alpha R_{\alpha\beta}=\tfrac12\nabla_\beta R$.