every number can be written as the sum of four squares?
Lagrange's four-square theorem, also known as Bachet's conjecture, states that every natural number can be represented as the sum of four integer squares. That is, the squares form an additive basis of order four. This theorem was proven by Joseph Louis Lagrange in 1770.