This paper, one of the successive parts of the duodirun merging algorithm, proves the correctness of three theorems described in a previous article [1], defines anl analyzes the parameters of algorithmic complexity.

• 本文是[1]的继续,证明了[1]中的定理、定义和分析了算法复杂性。