El Teorema de Lagrange en la teoría de grupos finitos y dice que el orden, de un grupo es divisible por el orden, de un subgrupo, de .

Para ver el teorema de Lagrange del cálculo diferencial, vease el Teorema de los incrementos finitos.