Изменения
Нет описания правки
<tex> Orb(x) \cap Orb(y) \neq \varnothing \Rightarrow Orb(x) = Orb(y) </tex>
|proof=
<mathtex> Orb(x) \cap Orb(y) \neq \varnothing \Rightarrow </tex> <math>\exist </math> <tex> g_1, g_2 \in G : g_1 x = g_2 y \Rightarrow x = g_1 ^ {-1} g_2 y \Rightarrow x \in Orb(y) \Rightarrow Orb(x) \subseteq Orb(y) </mathtex>. <br>
Аналогично доказываем, что <tex>Orb(y) \subseteq Orb(x)</tex>, откуда следует, что <tex>Orb(x) = Orb(y)</tex>
