指名された方は答えられなかったようなので

>∀ｘ．∃ｙ．Ｐ（ｘ，ｙ）⇔Ｐ（ｙ、ｙ）　を証明せよ
任意のxに対してy=xとすればよい。