Gibbard���Satterthwaite_theorem