Talk:PlanetPhysics/Compactness Lemma