>少なくとも一つはそうなる
>そのkが存在しなければなりませんが
>全てのkに対して式Iが成り立たなければならない

いつもの∃∀の理解できない1による
すごく頭の悪い迷言キター