В квадратной матрице найти произведение элементов, лежащих выше побочной диагонали - ошибка в коде - Pascal

Формулировка задачи:

В квадратной матрице найти произведение элементов, лежащих выше побочной диагонали.

program Project2;
{$APPTYPE CONSOLE}
uses
  SysUtils, Windows;
var m,n: integer;
    i,j,l: integer;
    p:longint;
    a:array of array of integer;
{$R-}
label 1,2,3;
procedure MyWriteln(const S: string);
var
  NewStr: string;
begin
  SetLength(NewStr, Length(S));
  CharToOem(PChar(S), PChar(NewStr));
  Writeln(NewStr);
end;
 
Begin
MyWriteln('ГЊГ*ГІГЁГ¶Г* Г¤Г®Г«Г¦Г*Г* ГЎГ»ГІГј ГЄГўГ*Г¤Г°Г*ГІГ*Г®Г©!');
3:MyWriteln('Г‚ГўГҐГ¤ГЁГІГҐ Г·ГЁГ±Г«Г® Г±ГІГ°Г®ГЄ: ');
1:ReadLn(m);
 if m <= 0
 Then
 Begin
 MyWriteln('Г‚ГўГҐГ¤ГЁГІГҐ Г·ГЁГ±Г«Г® ГЎГ®Г«ГјГёГҐ 0!');
 goto 1;
 End
 Else
  MyWriteln('Г‚ГўГҐГ¤ГЁГІГҐ Г·ГЁГ±Г«Г® Г±ГІГ®Г«ГЎГ¶Г®Гў: ');
2:  ReadLn(n);
  if n <= 0
  Then
  Begin
  MyWriteln('Г‚ГўГҐГ¤ГЁГІГҐ Г·ГЁГ±Г«Г® ГЎГ®Г«ГјГёГҐ 0!');
  goto 2;
  End;
if not(m = n)
Then
Begin
MyWriteln('ГЊГ*ГІГ°ГЁГ¶Г* Г*ГҐ ГїГўГ«ГїГҐГІГ±Гї ГЄГўГ*Г¤Г°Г*ГІГ*Г®Г©!');
goto 3;
End;
GetMem(a, m * sizeof(integer));
  for i:= 0 to m-1 do
    for j:= 0 to n-1 do
      GetMem(a[i], n * sizeof(integer));
  for i:= 0 to m-1 do
    for j:= 0 to n-1 do
      a[i,j]:=1+Random(9);
  for i:= 0 to m-1 do
  begin
    for j:= 0 to n-1 do
      Write(a[i,j]:4);
    WriteLn;
  end;
 
  l:=0;
  p:=1;
 
  for j:=1 to m do // Выбрасывает ошибку здесь
   begin
    for i:=1 to n-l do
    Begin
    p:=p*a[i,j];
    End;
    inc(l);
   end;
  MyWriteln('ГЏГ°Г®ГЁГ§ГўГҐГ¤ГҐГ*ГЁГҐ ГЅГ«ГҐГ¬ГҐГ*ГІГ®Гў ГўГ»ГёГҐ ГЇГ®ГЎГ®Г·Г*Г®Г© Г¤ГЁГ*ГЈГ®Г*Г*Г«ГЁ: ');
   Write(p);
  ReadLn;
  Writeln(' ');
   for i:= 0 to n-1 do
    FreeMem(a[i]);
  FreeMem(a);
  ReadLn;
End.

Решение задачи: «В квадратной матрице найти произведение элементов, лежащих выше побочной диагонали - ошибка в коде»

Листинг программы

p:=1;
for i:=0 to n-2 do
for j:=0 to n-i-2 do
p:=p*a[i,j];

Объяснение кода листинга программы

Переменная p инициализируется значением 1.
Запускается цикл for, который выполняется n-2 раза (где n - размерность квадратной матрицы).
Внутри первого цикла for запускается второй цикл for, который выполняется n-i-2 раз (где i - номер текущей итерации первого цикла).
В каждой итерации внутреннего цикла for значение переменной p умножается на значение элемента матрицы a[i,j].
По завершении второго цикла for значение переменной p будет содержать произведение всех элементов, лежащих выше побочной диагонали.