>>916
それは逆です。pの存在、非存在を検討しています。