Theorem

If $G$ is a finite group and $H$ is a subgroup, then $$|G|=[G:H]|H|$$In particular, $|H|\mid|G|$.