附录4.1 平衡增长路径（BGP）存在性的证明