用数学归纳法证明 n(n^2-1)能被3整除