Является ли массив перестановкой

type
  TMas = array[1..100] of integer;
 
function Digit(A: TMas; N, i, j: integer): integer;
begin
  
  i := 0;
  repeat
    inc(i);
    j := 1;
    { Проверяем элемент a[i] с предыдущими элементами a[1], a[2], ..., a[i-1] 
    на равенство: если a[i] ≠ a[j] для всех j=1..i-1, то переходим к следующему
    элементу, в противном случае (a[i] = a[j] для некоторого j < i) выходим из
    цикла и выводим результат: }
    
    while (j < i) and (a[i] <> a[j]) do
      inc(j)
    
    { Выходим из цикла в одном из двух случаев: 
    1)мы нашли равные элементы в предыдущем цикле (j < i);
    2)Мы дошли до конца массива (i = N): }
    
  until (j < i) or (i = N);
  writeln;
  if j < i then writeln('Номер первого недопустимого элемента: ', i)
  else writeln(0);
  
end;
 
var
  a: TMas;
  N, i, j: Integer;
 
begin
  
  Write('N: ');  
  for i := 1 to N do
    a[i] := random(1, 15);
  
  for i := 1 to N do
    write(a[i], ' ');
  writeln;
  writeln(Digit(A, N, i, j));
  
end.
  Readln(N);

type TMas = array[1..100] of integer;
function Digit(A: TMas; N: integer): integer;
var f:array[1..100] of boolean;
    i,k:integer;
begin
for i:=1 to n do f[i]:=false;//инициируем массив как false
k:=0;//пусть перестановка
i:=1;
repeat
if (a[i]<1)or(a[i]>n)or f[i] then k:=i//если число за интервалом или в ячейке логического массива уже true, 
                                                    // то это номер первого нарушителя
else f[i]:=true;//иначе пишем в массив true
inc(i);
until(i>n)or(k<>0);//выход если прошли массив или нашли нарушителя
Digit:=k
end;
var a:TMas;
    n,i:integer;
begin
repeat
write('Введите размер массива от 2 до 100 n=');
readln(n);
until n in [2..100];
writeln('Введите ',n,' элементов массива, целых чисел');
for i:=1 to n do
readln(a[i]);
write(Digit(a,n))
end.

function Digit(a : array of Integer) : Integer;
begin
  var b := ArrFill(a.Length, False);
  for var i := 1 to a.Length do
    begin
      var index := a.FindIndex(v->v=i);
      if index >= 0 then b[index] := True;
    end;
  Result := b.FindIndex(v->Not v)+1;
end;
 
begin
  var N := ReadInteger('N =');
  
  var a := 1.to(N).ToArray.Shuffle;
  a.Println;
  Digit(a).Println;
  
  a[Random(N)] := Random(1,N);
  a.Println;
  Digit(a).Println;
end.