Deje $G$ act transitivamente en $\Omega$. Un subconjunto $\Delta \subseteq \Omega$ se llama un bloque si para cada una de las $x \in G$ $\Delta^x \cap \Delta = \emptyset$ o $\Delta^x = \Delta$. Si $\Gamma \subseteq \Omega$ es no un bloque, y $\alpha, \beta \in \Omega$ son arbitrarios, ¿ existe alguna $g \in G$ de manera tal que sea $$ \alpha \en \Gamma^g \mbox{ y } \beta \noen \Gamma^g $$ o $$ \alpha \noen \Gamma^g \mbox{ y } \beta \en \Gamma^g. $$
Sé que si $\Gamma$ no es un bloque que puede encontrar un par de puntos, pero quiero mostrar que para cada par. Supongo que de alguna manera tiene que ver con la transitividad?
