Index in Subgroup

Theorem
Let $G$ be a group.

Let $H, K$ be subgroups of finite index of $G$.

Then:
 * $\index H {H \cap K} \le \index G K$

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

Equality happens $G = H K$.