Sean formula_5 un formula_1-conjunto, formula_57 formula_9 elementos de formula_59 y formula_60 un elemento en las órbitas de formula_52 y formula_62 Entonces, podremos hallar formula_63 formula_64 en formula_1 tales que formula_66 Por lo que, formula_67 lo que implica que formula_52 está en la órbita de formula_9 y viceversa.