而这是求最小 $-1$ 个数的关键性质。