Legendre's three-square theorem

theorem that every nonnegative integer is the sum of three perfect squares unless it is a product of a power of four and a number that is 7 modulo 8