>>111
∪VBαがbooleanモデルの要件を満たす。
ならわかる。おまえはそう言ってない。
>∪VBαの存在が保証できる
と言っている。
試合の途中でゴールポスト動かすのやめてもらっていいですか？