Dodan dokaz za permutacijo ter končen dokaz

Dodan dokaz, ki pove da je permutiran seznam enak originalu.
Dodan končen dokaz, ki združi dokaz o urejenosti ter permutaciji in
dokaže insertion sort.