\Rightarrow \exists i_0 = \min \left\{ {i \in \left\{ {1,2...k - 1} \right\}:x_{i + 1} \ne x_i + 1} \right\}