>>616
そう思うなら、Pの定義もステートメントに入れろよ