>>806
やはりそういう議論になってきますよね。
805である私もそう思ったのです。
私の出題者の意思を汲めば
∀P,k,Qとなるはずです。
ですが、それだと成立させられないので困ってます。