如果二进制下的 $x$ 的 $k$ 位上的数字是 $1$，则二进制下的 $n$ 的 $k$ 位上的数字也是 $1$。

应改为

如果二进制下的 $x$ 的 $2^k$ 位上的数字是 $1$，则二进制下的 $n$ 的 $2^k$ 位上的数字也是 $1$。