D.5 关于命题5.2的证明