Redirecting to Lagrange's identity