Trong bài báo này, ta chứng tỏ rằng bao đóng của một đồ thị G cho trước được xác định duy nhất, không phụ thuộc vào quá trình nối các cặp đỉnh có tổng bậc không nhỏ hơn n. Ta cũng đưa ra thuật toán xác định chu trình Hamilton trong đồ thị ban đầu nếu biết trước một chu trình Hamilton trong đồ thị cl(G).