展开 连续有界性定理