用归纳法,证明 9^n-1 可被 4 整除,假设 n>0