>>127
p=pとなるわけですから、任意のpについて成り立つという結果になると思います。

>>128
当然そうですが、結果はp=pを含んでいます。