>>269
少なくとも一つは複数ある場合を含んでいるので複数あっても構わないは数学的に正しいのですが

>>270
任意に設定できるものとしています。

>>271
pが存在しないということを示せば、yは存在しないことになります。