In Birkhoff’s theorem, doesn’t assuming we can use r (defined as circumference divided by ## 2 \pi ## for any given sphere) as a coordinate across the spacetime implicitly assume that the spheres must always be getting bigger in some specific direction? Is there a version of the proof that...