Изменения

* <tex> V_1 = \{ v_1 \in VT | (v_1, u) \in ET \} </tex>,

* <tex> V_2 = \{ v_2 \in VT | (u, v_2) \in ET \} </tex>.

<tex> T </tex> сильно связен, следовательно:

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

#* <tex> w_2 \in V_2 </tex>.

Цикл <tex> S_3: (u \rightarrow w_2 \rightarrow w_1 \rightarrow u) </tex> {{---}} искомый цикл длины <tex> 3 </tex>, q.e.d.