Waring's problem for squares (source code)

= Waring's problem for squares
{c}

4 squares are sufficient by <Lagrange's four-square theorem>.

3 is not enough by <Legendre's three-square theorem>.

The subsets reachable with 2 and 3 squares are fully characterized by <Legendre's three-square theorem> and