Lagrange publicó una demostración en 1775 basada en su estudio de formas cuadráticas.