thm:lagrange