Potrjeno, da algoritem z vstavljanjem deluje, pod predpostavko, da deluje vstavi.