Proof of Lagrange's theorem