归纳法 n^3 - 7 n + 3 能被 3 整除