Tower Law for Subgroups

Theorem
Let $\struct {G, \circ}$ be a group.

Let $H$ be a subgroup of $G$ with finite index.

Let $K$ be a subgroup of $H$.

Then:
 * $\index G K = \index G H \index H K$

where $\index G H$ denotes the index of $H$ in $G$.