图G的某一最小生成树的代价一定小于其他生成树的代价。