未ラベル辺が残れば、連結性によりラベル済み辺と未ラベル辺の両方に接する境界頂点Cがある。Cから次の極大未ラベル路を始め、次の未使用連続ラベルを付ける。Cは既に不変条件を満たし、新しい内部頂点は連続ラベルで安全、終点も葉または処理済みの議論で安全である。全k辺を処理して終了する。