Talk:PlanetPhysics/C 3CategoryCorollary