Gibbard's theorem - Wikipedia
en.wikipedia.org