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