题解仅证明了 $2^n-1$ 是必要的，而本题的关键证明充分性并没有提到。

建议撤下题解并重新开放题解通道。