69
правок
Изменения
Нет описания правки
<tex> \Rightarrow</tex> <br>
Докажем что из отрицания второго утверждения следует отрицание первого.
Пусть существует удовлетворяющее условию обратное ребро <tex>(x, w)</tex>. Тогда <tex>(u, v)</tex> лежит на цикле <tex>x \rightsquigarrow v \rightarrow u \rightsquigarrow w \rightarrow x</tex> и не может быть реброммостом.
}}
