>>971
>∃y∈{1}.∀x∈{1}.でいいじゃん
それ箱入り無数目じゃないからダメ