D.4 关于引理5.3的证明