D.8 关于命题5.9的证明