Prisel do locenih primerov pri dokazovanju, da je koncni seznam urejen.