感觉https://www.luogu.com.cn/article/9r3tv5aa 这篇题解是对的，但是对于证明又无从下手

膜拜 @huhexuan