>>23
pが2の倍数である場合には、pとrの関係を設定できることを証明していると
何度も書いている。