RT，我的想法是把右边因式分解掉，然后论证公差是2的等差数列的3个数模3余数不同，2^n不是3的倍数，所以2^n-2,2^n+2必有一数是3的倍数。然后显然这两个数都是2的倍数，所以4^n-4一定是6的倍数。这样做行吗?或者有没有更好的证法