voisonが反例を出さなかったっけ?