Dokaz ki združuje urejenost in permutacijo

Dokazano, da je permutiran seznam enak originalu.
Dodan dokaz, ki združuje dokaz o urejenost in permutaciji.
Revert "Dokaz ki združuje urejenost in permutacijo"

This reverts commit 2b1129da6a0110385bea6fedcbceb56b8e0c06ca.