Tower Law for Subgroups/Proof 2

Proof
Assume $G$ is finite.

Then:

Since $K \le H$, from Lagrange's Theorem we have that $\dfrac {\order H} {\order K} = \index H K$.

Hence the result.