Egy $n\times n$-es táblázatban megjelöltünk $n-1$ mezőt. Egy lépés során felcserélhetünk két sort vagy két oszlopot. Igazoljuk, hogy ilyen lépésekkel elérhetjük, hogy az összes megjelölt mező a főátló alatt legyen. (A főátló a táblázat bal fölső és jobb alsó sarkát köti össze.)