群Gの部分群Hの指数[G:H]=2とする。g∈G、h∈H とする。
g∈H なら、gh∈H と h=gg^(-1)h∈gH より、gH=H
g∈/H なら、gh∈G かつ gh∈/H より gH⊂G\H
左剰余類はGの元を類別し、かつ、[G:H]=2 であるから、g∈/H なら、gH=G\H が従う。
右剰余類についても同様にして、g∈H なら、Hg=H、g∈/H なら、Hg=G\H が言えるから、
結局、任意のg∈G について、gH=Hg が成り立つ。