Equation (50
) is an identity up to a term involving the Lie derivative of the
twist of the first Killing field with respect to the second one
(since
). In order to establish
it is sufficient to show that
k
and
m
commute in an asymptotically flat spacetime. This was first
achieved by Carter [27] and later, under more general conditions, by Szabados [170].