Talk:PlanetPhysics/C 3CategoryTheorem