Lagrange: every integer is sum of 4 squares. Pf: 4-squares identity + every real prime splits in the ring of Hurwitz quaternions. [Link][1]


  [1]: https://en.wikipedia.org/wiki/Lagrange%27s_four-square_theorem