well, i know that since cosets from the subgroup of H form partitions of the group G, and G is finite, then G is completely separated into a finite number of cosets. I know that since each coset has |H| elements, then |G|=|H|*n so therefore |H| divides |G|, proving the theorem. SO, what does...