We showed that the ``greedy grow lemma'' tells us that we can always add the smallest weight edge that doesn't make a cycle and we'll end up with an MST.
