The argument of [1]} shows that the resulting flow function represents to a \(T\) -linkage \(\mathcal {P}_\textsf {mod}\)  of \(G_\textsf {mod}\) , and Lemma REF  implies that the algorithm of [1]} always finds
a \(T\) -linkage if the given weak \(T\) -linkage is discretely homotopic to a \(T\) -linkage.
Moreover, we can reconstruct \(G\)  and \(\mathcal {P}\)  from \(G_\textsf {mod}\)  and \(\mathcal {P}_\textsf {mod}\) , respectively, in the reversed way.
The following lemma summarizes this subsection.
