Изменения

* <tex> V_2 = \{ u \in VT | u \notin S_k, f = (v_i, u) \in ET, \forall i = \overline{1, n} \} </tex>.

Тогда <tex> V_1 \cap V_2 = \emptyset </tex>.

Турнир сильно связен, следовательно:

* <tex> V_1 \neq \emptyset </tex>, (иначе <tex> T </tex> не будет сильно связным, так как тогда нет простых путей с началом в <tex> V_2 </tex> и концом в <tex> {v_1, \ldots, v_k} </tex>)