Talk:PlanetPhysics/Cohomology Group Theorem