D.2 关于命题5.1的证明