AFM.AQR.7.5: Prove that every connected graph has a minimal spanning tree.