Proof correction: Cartan-Einstein