>>600
プログラムにより、n^2<N<(n+1)nを満たす全ての合成数であるNに対してrが一対一
関係が設定できることが確かめられる。当然素数が存在するので、鳩ノ巣原理による
矛盾が生じることはない。