>>255
tp=c*2^(qr-1) (1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))
tpとc*2^(qr-1)が整数にならなければらなないから
c*2^(qr-1)(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)
も当然整数になるべき