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