Bây giờ giả sử G là một đồ thị acyclic tối đa, nhưng không phải là một cây. Kể từ khi một đồ thị acyclic được gọi là một khu rừng, và một cây được định nghĩa là một khu rừng kết nối, G phải bị ngắt kết nối. Do đó có tồn tại đỉnh u, v như vậy là không có u, v-con đường trong G. Đặc biệt là u-v không phải là một cạnh của G. Như G là một đồ thị acyclic tối đa, G + uv phải có một chu kỳ. Bởi vì G có không có chu kỳ, chu kỳ này phải bao gồm cạnh u-v. Cho chu kỳ này. Sau đó u là một u, v-con đường trong G.
đang được dịch, vui lòng đợi..