证明有界性定理