A simplified and complete account of Cartan's argument was given by Alfsen in 1963.
1963年Alfsen对Cartan的论证给出了简化而全面的表述。