x=1,p=3,k=1 일때 성립 안 하지 않나요?

(1+4x)^(p^k) =(합동) 1+2^(k+2)x (mod 2^(k+3)) ,k>=1

이라고 적혀 있는데 잘못적은건가요;