{\displaystyle [G:H]={|G| \over |H|}}