Talk:PlanetPhysics/Proper Generator Theorem