Fish Wang says to YSITD
所以你只要證明 對任意正整數n,2^(4n)的尾數都一樣就好