A simple proof of the perturbative uniqueness of the Kerr solution (Q1123434)

Using the Geroch-Held-Penrose spin coefficient formalism, the authors show that any small stationary perturbation of a Kerr solution is a new Kerr solution. This also implies that any stationary black hole space- time which can be obtained by a continuous stationary perturbation of Schwarzschild solution must be a Kerr solution. The proof is simple and coordinate free but it draws heavily from the mathematical equations of the GHP formalism; as such the authors should have been well advised to include the essentials of GHP formalism in an appendix to this paper.