 Black-hole uniqueness theorem

In four-dimensional asymptotically flat general relativity, a regular stationary vacuum black hole is a Kerr black hole under the standard connectedness and analyticity hypotheses. The electrovacuum extension is the Kerr--Newman family.