Consideremos la órbita de e, o sea el subconjunto de S formado por todos los σ(e) con σ en O(n+1).