D.7 关于命题5.7的证明