>>30
例ではなく、全てのnでも関係付けられるという証明に疑いを投げかけているんですよ

また
>r=5のとき、125と130が5の倍数だが、偶数を余らせるから奇数125の
関係を設定して、[125,5]

r側の5の倍数は5と10、p側の5の倍数は125と130で、5の倍数でのグループ化では、p側とr側は余り無しで関係付きなすので、ここでは余っていません。
そのため、偶数を余らせるという記述が誤りです。