（占有策略显示原理）假定存在一个占有策略执行社会选择函数f(·)的机制Γ=（S1,.....,SI, g（·））。 那么， f(·)是由占有策略诚实可执行的。

请问，怎样证明这个原理呢？？？