Изменения

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

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

:* <tex> \exists g = (w_2, w_1) \in T </tex>, (по определению <tex> V_1, V_2 </tex>):

:** <tex> w_1 \in V_1 </tex>,