An identity in Riemann–Cartan geometry | Synapse