高木くんの理論は

おぼろげながら

n^2<m<n(n+1)に対して

mの素因数分解を行い

1<r<nの素因子と１対１対応をつくる

ところまでわかりましたが

この方向は難しいと思いました