lagrange_theorem
