(G,*)を群,Hをその部分群,aH={a*h|h∈H}をaを含む剰余類としたとき。HとaHの要素数が等しいことを示すにはどうすればいいですか？