作为机制设计理论中的重要定理，Gibbard-Satterthwaite定理得出了与阿罗不可能性定理相同的结论，现求原文献，一篇十个币。

Manipulation of Voting Schemes: A General Result for Public Goods -Gibbard（1973）
Strategy-Proofness and Arrow's Conditions: Existence and Correspondence Theorems for Voting Prqcedures and Social Welfare Functions -Satterthwaite（1975）