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ác cạnh tia cực tím. Cho chu kỳ này. Sau đó u là một u, v-con đường trong G. Mâu thuẫn này cho thấy rằng tối đa đồ thị acyclic là cây
đang được dịch, vui lòng đợi..