Gauss expuso la primera demostración que parece que se conoció en Europa (la tercera después de la de Adrain) en 1809.