A final contraction with g gives ( R γ γ δ δ − − 1 2 g γ γ δ δ R ) ; γ γ = 0 which by the symmetry of the bracketed term and the definition of the Einstein tensor, gives, after relabelling the indices, G α α β β ; β β = 0