Lagrange four-square theorem (source code)

= Lagrange four-square theorem
{c}
{wiki=Lagrange's_four-square_theorem}

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