Proof

The (left or right) cosets of a subgroup H of G are the equivalence classes of the equivalence relation ~. Thus, these cosets partition the set G. As each coset contains |H| elements we find that |H| divides |G|.