Lagrange's theorem
Generalization of Lagrange's theorem.