Redirecting to Lagrange's four-square theorem