Lagrange's theorem
A proof of Lagrange's theorem.