D.3 关于引理5.2的证明