G
H
aH
bH
cH
|G| = [G : H] · |H|