Contracting tensors λ with ν in the Bianchi identities R_(λμνκ;η) + R_(λμην;κ) + R_(λμκη;ν) = 0 gives R_(μκ;η) - R_(μη;κ) + R^ν _(μκη;ν) = 0.