单调有界定理的证明及应用有那些创新之处?