MST Proof (Kleinburg & Tordos)
Consider the following non-minimum spanning tree.

           1
 +-------------------+
 |                   |
 |                   |
 |                   |
2|←                 →|2
 |                   |
 |                   |
 |         ↓         |
 +-------------------+
           1