理论证明啊！严密的逻辑推导

一个比较严格的证明，参照：http://ocw.mit.edu/NR/rdonlyres/ ... 4BB/0/lecture_5.pdf。证明的大致思路如下，H-O theorem讨论了要素禀赋和净出口之间的关系，而进出口等于生产与消费之间的差额。因此，可以首先运用Rybczynski theorem建立起禀赋和生产之间的关系，然后应用消费者偏好是identical and homothetic的假定，确定各国商品消费和总要素禀赋的关系，最后，结合生产和消费量方面，建立起要素禀赋密集程度和净出口的关系。