RT

• 对于 $\forall 1 \leq i \leq n, 1 \leq c_1 \leq c_2 \leq n$ 有 $a_{i, i} = b_i$。

然而多了句 $1 \leq c_1 \leq c_2 \leq n$。