\:$\Leftarrow$ Pokud k~$T$ neexistuje lehká hrana, je $T$ minimální.
-Uva¾me minimální kostru $T_{min}$. Podle právì dokázané implikace k~ní neexistují lehké hrany,
-tak¾e mù¾eme pou¾ít monotónní swapovací lemma na~$T$ a $T_{min}$ a z~nìj plyne $w(T)\le w(T_{min})$,
+Uva¾me nìjakou minimální kostru $T_{min}$ a pou¾ijme monotónní swapovací lemma na~$T$ a $T_{min}$. Z~nìj plyne $w(T)\le w(T_{min})$,
a~tedy $w(T)=w(T_{min})$.
\endlist