Lagrange's theorem (group theory)

Lagrange's Theorem is a theorem in group theory that states if G is a finite group and H is a subgroup of G, then |H| (the order of H) divides |G| (the order of G). Moreover, the number of distinct left (right) cosets of H in G is |G|/|H|.