>>992
rの偶奇は関係ありますよ
最後の

>r=2の場合は、全てのpとrを一対一対応が設定できることを証明

これはただの2の倍数の個数しか見ていません

奇素数での対応付けでr側の偶数を使っているなら、最後の対応付けではr側の偶数のいくつかは使えないことになります