附录E 命题2推导过程