Trace-free property of the Weyl tensor
= Trace-free property of the Weyl tensor
{c}
Every contraction of the Weyl tensor vanishes. Contracting its first and third indices directly cancels the Ricci and scalar-curvature terms; antisymmetry in each pair and symmetry under exchanging the two pairs reduce all other contractions to this one or make them vanish immediately.