NP Ricci identity (4.2j)