Show that the intersection of 2 subgroups of finite index also has finite index.

Proof.

Let and

The intersection of them, well, since the index of both are finite, isn't the intersection well, then, the index has to be finite.

But I'm not sure if I write this up correctly.

Thanks.