AFM.18.b: Show that every connected graph has a minimal spanning tree.