两列都严格递增。此外，由yi+1<yi+2y_{i+1}<y_{i+2}yi+1<yi+2得到mi<nim_i<n_imi<ni，由yi<yi+1y_i<y_{i+1}yi<yi+1得到ni<mi+1n_i<m_{i+1}ni<mi+1。因此996个m值和995个n值全部互不相同。