附录E:命题2的证明