ギバード=サタースウェイト定理（Gibbard–Satterthwaite theorem）の厳密な証明です.
なお, 途中で言及されるFigureは, 参考文献の該当箇所pp.292-296にあるものを指していますので, お手数ですが参考文献を手元に置きながら読んで頂ければと思います.
言語は英語です.
参考文献
Jehle, G. A., & Reny, P. J. (2011). Advanced Microeconomic Theory (3rd ed.). Financial Times/Prentice Hall.
