Lagrange's theorem

noun Mathematics.

the theorem that the order of each subgroup of a finite group is a factor of the order of the group.

Origin of Lagrange's theorem

named after J. L. Lagrange