まず、当然、


gld(n2+1,5n2+9)=divisor nと記号化する。


n2+1>=2であり、5n2+9>=14 (∵n>=1)


この段階で、dn=2確定だ。