9.9 互等定理