D.6 关于推论5.1的证明