The original proofs were limited to non-extremal black holes, which have a bifurcation surface [66, 163Jump To The Next Citation Point]. The proof for extremal black holes can now be found in [170Jump To The Next Citation Point].