We prove the following result which is equivalent to the Gibbard–Satterthwaite Theorem: when there are at least 3 alternatives, for any unanimous and strategy-proof social choice function, at any given profile if an individual’s top ranked alternative differs from the social choice, then she...