El teorema de los cuatro cuadrados de Lagrange, también conocido como la conjetura de Bachet se demostró en 1770 por Joseph Louis Lagrange.