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