用数学归纳法证明 1+2+2^2+……+2^3n-1 能被7整除