I have 2 questions on cosets.

Let be a group with subgroup .

Let .

If there exists such that , show that .

I have tried this problem for a long time, but I still can't get a convinced proof.

Please give me some hint.

Another question is if , is it true that ?