Sea formula_86 definida por formula_87 Como formula_88 tendremos que formula_89 es una formula_1-morfismo, cuya imagen es precisamente la órbita de formula_91 Notemos que formula_92 es equivalente a afirmar que formula_93 Es decir, que formula_94 Esto, a su vez, implica que las clases de equivalencia de formula_95 coinciden con las clases laterales izquierdas de formula_1 respecto a formula_97 En particular, esto nos dice que hay una biyección entre formula_98 y formula_99 Tal biyección es un G-morfismo, o sea que como G-conjuntos son isomórficos.