Lagrange's Four Square Theorem

Theorem
Every positive integer can be expressed as a sum of four squares.

Also see
Waring's Problem

He proved this in 1770.

had originally stated this result, but no proof of his can be found.