社会选择函数f(·)可以由占优策略诚实执行，当且仅当对所有i , 所有θ-i∈Θ-i，以及行为人i的所有类型， θ‘i和 θ"i  ∈ Θi 时，我们有
         f (θ"i, θ-i) ∈Li ( f (θ'i,θ-i), θ'i)  
和     f（θ’i，θ-i）∈Li (f (θ"i, θ-i), θ"i)


这个命题该如何证明呢？？？
谁能帮我解答一下，谢谢！！