指数有限的子群存在一个右陪集代表元系，同时也是左陪集代表元系

设$Aleq G$且$[G:A]<infty$,则存在一个$A$的右陪集代表元系$R$,同时$R$也可以作为左陪集的代表元系.