Изменения

И тогда: Тогда <math>\left\vert S\cap T \right\vert = \left\vert S \right\vert + \left\vert T \right\vert - \left\vert S+T \right\vert > 0</math> т.е. <math>\exists i| ut_{i+1}\in EG</math> и <math> t_iv \in EG.</math>