展开 博雷尔康特立引理