lagranges identity