>>217
>>>202はP\Q∈PではなくP\{Q}∈Pだったと訂正すれば
訂正しないでいいでしょ?