 Trace-free property of the Weyl tensor

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.