>>425
A≠Gとし、cosetsによってG=A+Ax+Ay+……とする。
Ax+Ay+……⊂G-A⊂Bだから、特にAx⊂B
x∈Bよりx^(-1)∈BだからA⊂Bx^(-1)⊂B
よって、G=A∪B=B