即得易见平凡，由上自证显然，留作习题答案略，读者自证不难。
反之亦然同理，推论自然成立，略去过程Q.E.D，由上可知证毕。您好！欢迎来到我的blog。博主是个蒟蒻。现在高三刚毕业，啥都不会，文竞两爆炸，没学上。但是希望能接着打acm或者ctf.
支持中文的OJ上，我的ID都是_WA自动机.不支持中文的OJ上，我的ID是_WAautomaton.既不支持中文也不支持下划线的OJ上叫WA-automaton。（强行分类讨论
我的OI进程:
| 比赛名称 | 结果 | 备注 |
|---|---|---|
| NOIP2017 | 省二 | OI第一战. |
| NOI2018-Online | Fe | 算上笔试也没到Cu线.. |
| NOIP2018 | 省一 | “我从不挂分！” |
| WC2019 | Fe | 第一次线下参加NOI系列，意料之中地被爆踩.. |
| CSP-S 2019 | 省一 | 并不完美的收官之战，很想走下去但是只能止步于此了 |
| NOIP 2020 | 省一 | 老年选手复健项目 |