对于相同 $a_i$，取第一个即可 这个结论怎么证明啊。