この二つのバイトニック列を昇順ソートすると
二つのモノトニック列が完成する。
この列は一つのバイトニック列を基本性質に即って二つのバイトニック列に する。これは大きいほうの要素を採択したものの最小値は小さいほうの要素を 採択したものの最大値より必ず大きいということが言える。