Let us apply the Ricci contraction to the Bianchi identities

Since and , we can take in and out of covariant derivatives at will. We get:

Using the antisymmetry on the indices and we get

so

These equations are called the contracted Bianchi identities.

Let us now contract a second time on the indices and :

This gives

so

or

Since , we get

Raising the index with we get

Defining

we get

The tensor is constructed only from the Riemann tensor and the metric, and it is automatically divergence free as an identity. It is called the Einstein tensor, since its importance for gravity was first understood by Einstein. We will see in the next chapter that Einstein's field equations for General Relativity are

where is the stress- energy tensor. The Bianchi Identities then imply