Prove that, for any positive integer $n$, there exists a polynomial $p(x)$ of degree at most $n$ whose coefficients are all integers such that, $p(k)$ is divisible by $2^n$ for every even integer $k$, and $p(k) -1$ is divisible by $2^n$ for every odd integer $k$.