o Proof: Suppose that there is a path p from v, to and the length of this path less than l(v) Then the path p must conclude some vertices of Vi 路❖ Proof: Suppose that there is a path p from v1 to v', and the length of this path less than l(v'). ❖ Then the path p must conclude some vertices of T-{v'}