共用题干题设G为连通无向图，证明： G的任一割集S的关于G的补G-S（从G中删除所有S中的边）中不含有G的生成树。