>(1)xy∈Aのとき
>x,y∈Aである。なぜならAは部分群だから。
>よってA=G

これでオッケーだと思ってるってことはやばいと思うのだが