Dodal par komentarjev; dodal izrek o pravilnosti insertion sorta.