Necessary and sufficient condition for unique minimum spanning tree
Answer my own question by simply copying the comment made by @JeffE, the author of the lecture note：


  Oops! Yes, this is a bug. (Note to self: Change every instance of "Prove" to "Prove or disprove".) – JeffE