Hi.

I need to prove:

So, one direction is quite easy:

:

If is a subgroup of , it follows that : .

in particular, for every , , so , .

but the second direction is not quite clear for me:

:

Since , : , there exist some , such that

and then:

but how do I know that ?

Thanks in advance.