G
H
K
[G : H]
[H : K]
[G : K] = [G : H] · [H : K]