「prとpkは対称だからprについて言えてることはpkについても言えてるハズだ。」
というスーパーロジックが使えなくなったら次はかなり苦しいだろ。
ようやく>>1にもこの問題の難しさがわかってきたんじゃない？