Увидеть граф (переформулировки)

Пронумеруем столбцы прямоугольника слева направо, начиная с 1.

Заметим, что белый конь ходит только по нечётным столбцам и он будет оказываться в верхней клетке тогда и только тогда, когда номер столбца даёт остаток 1 при делении на 4, а в нижней — остаток 3. Но чёрный конь ходит по такому же принципу, как и белый, следовательно, наступит момент, когда белый конь находится в нижней клетке столбца, а чёрный конь — в верхней клетке столбца, и тогда кони не смогут сделать ходы, значит, они не смогут поменяться местами.