 Lagrange four-square theorem

The Lagrange four-square theorem says that every nonnegative integer is a sum of four integer squares.