lagrange'stheorem