Este célebre teorema establece que todo entero no negativo e suma de 4 cuadrados enteros. Este teorema fue conjeturado por P. de Fermat y su primer demostración se debe a Lagrange. El objetivo de esta nota es dar una demostración elemental de este resultado. Primeramente probaremos una identidad algebraica, también llamada identidad de Lagrange que expresa que el producto de urnas de 4 cuadrados e suma de cuatro cuadrados.