El teorema de los cuatro cuadrados de Lagrange fue conjeturado en la edición de Bachet del libro Aritmética de Diofanto en 1621; Fermat obtuvo una prueba, pero no la publicó