>>596
n=Π_[i=1,n-1](1- s^i)かつ1-s|1- s^iより、(1-s)^(n-1)|nがいえる。とくに,(1-s)^2|nがいえる。