Prove Theorem 10.14.

Data from  Theorem 10.14

Suppose H and K are subgroups of a group G such that K ≤ H ≤ G, and suppose (H : K) and (G : H) are both finite. Then (G : K) is finite, and (G : K) = (G : H)(H : K).