Lagrange's theorem