Gibbard–Satterthwaiteの定理