Talk:PlanetPhysics/Birkhoff Kakutani Theorem