Lagrange's theorem

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