Es sei x ∈ G {\displaystyle {}x\in G} und x H {\displaystyle {}xH} die Linksnebenklasse von x {\displaystyle {}x} . Ein Element daraus hat die Form x h {\displaystyle {}xh} mit
und daher ist