Rt，求助大佬。给出的两篇题解都是必要性证明。

如何证明一个满足 $(sum_{+}+n)\bmod 3=1$ 且存在相邻项同号的序列一定能还原成一个方案。