Процедуры: проверить, являются ли массивы G(20) и H(30) упорядоченными по возрастанию

Program Lab1;
type matr=array[1..100] of integer;
var G,H: matr;
i,m,n:integer;
procedure proc(z:matr; j:integer; simv:char);
  var k:integer;
  begin
  for k:=1 to j do
      read(z[j]);
      readln;
      k:=0;
      for j:=2 to k do
      if z[j]>z[j-1] then
      j:=j+1;
      writeln('Massiv ne uporjadochen po vozrastanju!');
      if j=j-1 then writeln('Massiv uporjadochen po vozrastanju!');
      readln
  end;
{основная часть основной программы}
begin
m:=2; n:=3;
writeln('введите массив G');
for i:=1 to m do
readln(G[i]);
writeln('введите массив H');
for i:=1 to n do
readln(H[i]);
proc(G,m,'G');
proc(H,n,'H');
end.

function IsAsc(const a: array of Integer): Boolean;
var n: Integer;
begin
  IsAsc:=False;
  for n:=0 to High(a)-1 do if a[n]>=a[n+1] then Exit;
  IsAsc:=True;
end;
 
const
  NY: array [Boolean] of String[3] = ('НЕ ','');
var
  g: array [0..19] of Integer;
  h: array [0..29] of Integer;
  ...
 
  WriteLn('Массив G ',NY[IsAsc(g)],'упорядочен по возрастанию');
  WriteLn('Массив H ',NY[IsAsc(h)],'упорядочен по возрастанию');

procedure IsAsc(const a: array of Integer; var r: Boolean);
var n: Integer;
begin
  r:=False;
  for n:=0 to High(a)-1 do if a[n]>=a[n+1] then Exit;
  r:=True;
end;

procedure vRead(var a: array of Integer);
var i: Integer;
begin
  for i:=Low(a) to High(a) do Read(a[i]);
end;
 
const
  NY: array [Boolean] of String[3] = ('НЕ ','');
var
  g: array [0..19] of Integer;
  h: array [0..29] of Integer;
  t: Boolean;
begin
  Write('G(',High(g)-Low(g)+1,'): '); vRead(g);
  Write('H(',High(h)-Low(h)+1,'): '); vRead(h);
  IsAsc(g,t); WriteLn('Массив G ',NY[t],'упорядочен по возрастанию');
  IsAsc(h,t); WriteLn('Массив H ',NY[t],'упорядочен по возрастанию');
end.