In the mathematical field of group theory, Lagrange's theorem states that if H is a subgroup of any finite group G, then is a divisor of . That is, the order of every subgroup divides the order of the whole group.