5U，5U包含了3，那进化后可能成为4或者3。
根据枝江不等式5-1=0，得出AU最喜欢一次性减去多个数字。
那么5U肯定至少-2，如果-1就违背了不等式，所以要么就是已经run了的，要么就是3。证明成功。