>>283
>そんなことは書いていません。馬鹿じゃないの。
>A=少なくとも一つ存在する
>B=複数存在する
>B⊂A

Bが真でないなら、pが複数存在することの根拠がない、ということです。
そのまま返しますね。馬鹿じゃないの。