This follows from the definition of the twist and the Ricci identity for Killing fields,
, where
is the one-form with components
; see, e.g. [
87
], Chap. 2.)