数学归纳法证明 9^(n+2)-4^n 可被5整除