Gibbard–Satterthwaite theorem