昇順になるということは, \(p_i = i\) となることである.

よって, \(p_i \neq i\) となるような \(i\) が0個もしくは2個であれば, 1回の入れ替えで昇順に並べることができる.