D.1 关于引理5.1的证明