Преобразуй схему в программу на языке Паскаль

После выполнения шага 1 на столе лежит яблоко, которое достали из корзины первым, а вторая корзина пуста. После каждого выполнения шага 2 большее яблоко перемещается в корзину, а меньшее остается на столе. В результате на столе окажется самое маленькое яблоко.

При обосновании корректности циклических алгоритмов полезно использовать понятие инварианта цикла. В случае приведенного алгоритма инвариантом цикла является такое условие «лежащее на столе яблоко — самое маленькое из всех взятых до сих пор». В начале алгоритма условие очевидно выполняется (любое яблоко удовлетворяет этому условию). Условие остается истинным на каждом шаге в соответствии с приведенными правилами. Таким образом, в конце алгоритма, когда все яблоки взяты, получим самое маленькое яблоко из всех.

// PascalABC.NET 3.0, сборка 1088
function InitA(n:integer):array of integer;
begin
  Result:=ArrRandom(n,-31,45)
end;

procedure GetA(var a:array of integer);
begin
  a:=InitA(ReadInteger('Количество элементов в массиве А: '));
end;

procedure PutM(c:char; a:array of integer);
begin
  Writeln('*** Массив '+c+'[',a.Length,'] ***',#13#10,a);
end;

function FormB(a:array of integer):array of integer;
begin
  Result:=Range(0,a.Length-1,2).Select(x->a[x]).ToArray
end;

function MinEl(a:array of integer):integer;
begin
  Result:=a.Min
end;

begin
  var mA:array of integer;
  GetA(mA); PutM('A',mA);
  var mB:=FormB(mA); PutM('B',mB);
  Writeln('Минимальный элемент в массиве В равен ',MinEl(mB)) 
end.

Тестовое решение:
Количество элементов в массиве А: 15
*** Массив A[15] ***
[-22,0,-9,17,14,3,38,-18,-28,-17,28,13,1,1,26]
*** Массив B[8] ***
[-22,-9,14,38,-28,28,1,26]
Минимальный элемент в массиве В равен -28