附录D 命题1推导过程