Let G be an arbitrary connected, undirected graph with a distinct cost c(e) on every edge e. Suppose e∗ is the cheapest edge in G; that is, c(e∗) < c(e) for every edge e = e∗. Then there is a minimum spanning tree T of G that contains the edge e∗
ให้ G เป็นโดยพลการเชื่อมต่อแบบไร้ทิศทางกราฟกับค่าใช้จ่ายที่แตกต่างค (จ) ใน อีขอบทุก สมมติว่า E * เป็นขอบที่ถูกที่สุดใน G; ว่ามีค (E *) <ค (E) สำหรับ e ขอบทุกครั้งหรือไม่ = E * จากนั้นก็มีขั้นต่ำทอด T ต้นไม้ของ G ที่มี อีขอบ *
ให้ G เป็นกราฟ undirected โดยพลการเชื่อมต่อกับ C ( E ) ในราคาที่แตกต่างกันเช่นสมมติว่า E ∗ ทุกขอบเป็นขอบที่ถูกที่สุดใน g ; นั่นคือ C ( E ∗ ) < C ( E ) สำหรับทุก ขอบ E = E ∗ . แล้วมีขั้นต่ำต้นไม้ทอดข้าม T G ที่มี E ∗ขอบ