求证：$\{0,1,2,\dots,n\}$ 的异或和为 $0$ 的非空子集的个数为 $2^{n-\log_2 n}$。