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

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