Lagrange's theorem
Lagrange's theorem that formula_13 divides formula_14.