proof of a lagrange theorem