Without loss of generality, we assume t ∈ T(u, S 1 ), which means