## Subgroup index is multiplicative across intermediate subgroups

Let $G$ be a group and $K \leq H \leq G$. Prove that $[G : K] = [G : H] \cdot [H : K]$.

We proved this as a lemma to a previous theorem.