Weil's proof used the axiom of choice and Henri Cartan furnished a proof which avoided its use.
Η απόδειξη του Weil χρησιμοποίησε το αξίωμα της επιλογής και ο Henri Cartan επίπλωσε μια απόδειξη η οποία αποφεύγει τη χρήση του.