Lagrange's theorem (number theory)

Lagrange's theorem in number theory states that every positive integer can be expressed as a sum of four square numbers. This theorem is often associated with Joseph-Louis Lagrange, who proved it in 1770.