【正确答案】(充分性)设边e是G的割边，删去e，G就分成两个互不连通的子图G₁和G₂．对于G的任一棵生成树T，由于T是连通图，故连接G₁与G₂之间的唯一边e必在T中．
   (必要性)用反证法．设边e包含在G的每棵生成树中，但e不是割边．在图G中删去e得图G'，G'仍是连通图．对G来说必有一棵生成树T，T不包含边e，与假设矛盾．