P-point filterの条件

例の灰色本の証明がなんかおかしかったので、修正を試みた。

https://drive.google.com/file/d/1mRKEc56JXxWuMDXAovkzI9MWV3uVG27k/view?usp=sharing