Birkhoff's theorem