Lagrange Four Square Theorem