" It is a famous theorem first proved by the great (Italian-) French mathematician Joseph L. Lagrange in 1770 that every number is, indeed, the sum of four squares. "

― Roger Penrose , Shadows of the Mind: A Search for the Missing Science of Consciousness