Talk:PlanetPhysics/Generalized Van Kampen Theorems HDGVKT