We observe that the third segment of an (i, j)-path is the reversal of the first segment of a ( j, i)-path.
we can use our argument for the first segments to show the existence of 4d i edge disjoint third segments ending at a vertex in the subtree below a j .