結局、未定義のPを使ってなんか証明したつもりになって満足してたわけか…