G=∪giS(g0=e)でgiS∩gjS≠ΦならgiS=gjS
ということかな
それでも同じで
eがあるgiSに含まれるけど、そこが部分群になってることが示せて、結局これはその部分群による左類別になってる