Изменения

От противного: пусть <tex> \exists i, j \in V: i \underset{G}{\overset{+}{\leadsto}} j, j \underset{G}{\overset{+}{\leadsto}} i, i \neq j</tex>. По антисимметричности исходного отношения получаем <tex> i = j </tex>, что противоречит предположению.

}}

Докажем теорему, из которой следует алгоритм.