Talk:PlanetPhysics/Grothendieck's Theorem