A simplified and complete account of Cartan's argument was given by Alfsen in 1963.
Μια απλοποιημένη και πλήρη έκθεση του επιχειρήματος του Cartan δόθηκε από τον Alfsen το 1963.