Паскаль.Бинарный поиск. Всё работает. Объяснить.

[Антон Лысенко]

function SearchEl(var el:integer;a:mas):integer;
  var k,nm,vm:integer; found:boolean;
    begin
     nm:=1; vm:=m; found:=false;
      repeat
           k:=(nm+vm)div 2;
             if el=a[k] then
                found:=true
             else
               if a[k]>el then
                  nm:=k+1
               else
                  vm:=k-1
      until(nm>vm)or(found);
       if found then
         SearchEl:=k
       else
         SearchEl:=0
    end;

мне не понятна вот эта часть кода

if a[k]>el then
                  nm:=k+1
               else
                  vm:=k-1

Если a[k] больше искомого элемента el, то почему мы поднимаем нижнюю границу выше k. Если элемент остался внизу?
Делал так как считаю за нужное то не работает.
Потом переделал по книге вот так, то работает, но я не понимаю как.

[Stilet]

мне не понятна вот эта часть кода

Мне тоже. И не только это, а еще почему ты кросспосты штопаешь.
Закрыто!