有界的证明方法