每一步中 q_i 都紧邻闪电路径。特别地，在最后一步，B 在底行的两个邻数之一是从 1 到 n 的某个数。从 1 到 n 的每个数都已经作为 A 或这样的相邻增量使用，因此在适当选择的另一条路径上，增量不可能再是这些小数。