Lagrange's identity