序偶与笛卡尔积的一个定理

这里的P是谓词公式吗？这个定理是怎么证明的呀？