El teorema de los cuatro cuadrados de Lagrange, dado en 1770, establece que todo número natural es la suma de al menos 4 cuadrados; dados que tres no son suficientes, este teorema establece que "g"(2) = 4.