This is obvious for static configurations, since
coincides with the static Killing field. In the circular case one also needs to show that
implies
on the horizon generated by
; see [
87
], Chap. 7 for details).