Lagrange's four-square theorem

Lagrange's four-square theorem is a result in number theory that states that every natural number can be expressed as the sum of four integer squares.