Изменения
→Свойства
<tex> Orb(x) \cap Orb(y) \neq \varnothing \Rightarrow Orb(x) = Orb(y) </tex>
|proof=
<tex>Orb(x) \cap Orb(y) \neq \varnothing \Rightarrow</tex> <mathtex>\existexists</mathtex> <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) </tex>. <br>
Аналогично доказываем, что <tex>Orb(y) \subseteq Orb(x)</tex>, откуда следует, что <tex>Orb(x) = Orb(y)</tex>
