Tower Law for Subgroups/Proof 2

Proof
Assume $G$ is finite.

Then:

Since $K \le H$, from Lagrange's Theorem we have that $\dfrac {\left\vert{H}\right\vert} {\left\vert{K}\right\vert} = \left[{H : K}\right]$.

Hence the result.