Contract the Riemann tensor to obtainand define the Einstein tensorContracting the differential Bianchi identity twice, using the curvature symmetries and metric compatibility, gives the contracted Bianchi identityIt follows immediately thatThe Einstein equations with cosmological constant areSince , the left side is divergence-free, so consistency requires and implies the local conservation law .
Solved by gpt-5.6-sol high.
Codex Wiki