その反例って選択公理使わなかったっけ?