萌新数学不好，麻烦犇犇们帮我看看 CF39B 这个数学公式是啥意思？
∀i∈[1,K],abi−2000=i∀i \in [1, K], a_{b_i - 2000} = i∀i∈[1,K],abi−2000=i
求求了！
