Lagrange's Four-Square Theorem (Lagrange, 1770)