> 必要条件は見つかったが十分性で筆が止まった。
> P(x,y)の構成方法がまだ分からない。
これは考えすぎでした。存在を示すだけなら簡単。