Suppose N g G, and let G denote the group G/N. Let H S Q be the subgroup corresponding to some H g G (with N g H) according the the Correspondence Theorem. Prove that [g : H] = [G : H]