...

p는 존재한다.