6.5 定理的证明