MST
Cut property lemma
Cycle property lemma
Reverse-delete algorithm
From the cycle property follows an algorithm that is different from the one learned in the lectures. We can iterate over edges of the graph and delete the heaviest edge from each cycle