Birkhoff's theorem

Also known as Birkhoff–Jebsen's theorem, Birkhoff–Jebsen theorem, Jebsen–Birkhoff theorem

theorem that any spherically symmetric solution of the vacuum field equations must be static and asymptotically flat