若仍有未编号边,由连通性可取边界顶点C,它同时关联已编号边和未编号边。从C开始下一条极大未编号路径,使用接下来的连续未用标签。C已满足不变量,新内部顶点因连续标签而安全,终点同样由叶子或已处理论证安全。重复后所有k条边均完成编号。