Tutte le classi laterali di un sottogruppo contengono lo stesso numero di elementi.
Se $G$ è finito allora $\forall x,y \in G \ \ \ | H_x|=| H_y|$
Sia $H = ah$ con $a=1$ allora $| H_x|=| H| \ \ \ \forall x \in G$
todo