Даны 2 матрицы А и B. Проверить равенство

const n=5;
type mtr=array[1..n,1..n] of integer;
procedure vvod(var a:mtr);
var i,j:integer;
begin
for i:=1 to n do
for j:=1 to n do
a[i,j]:=10+random(90);
end;
procedure vyvod(a:mtr;s:string);
var i,j:integer;
begin
writeln(s);
for i:=1 to n do
 begin
  for j:=1 to n do
  write(a[i,j]:4);
  writeln;
 end;
end;
procedure trans(var a:mtr);
var i,j,x:integer;
begin
for i:=2 to n do
for j:=1 to i-1 do
 begin
  x:=a[i,j];
  a[i,j]:=a[j,i];
  a[j,i]:=x;
 end;
end;
procedure summa(a,b:mtr;var c:mtr);
var i,j:integer;
begin
for i:=1 to n do
for j:=1 to n do
c[i,j]:=a[i,j]+b[i,j];
end;
var a,b,at,bt,ab,abt:mtr;
    i,j,k:integer;
begin
randomize;
vvod(a);
vvod(b);
vyvod(a,'Матрица А');
vyvod(b,'Матрица B');
summa(a,b,ab);
vyvod(ab,'Матрица А+B');
trans(ab);
vyvod(ab,'Матрица (А+B)t');
trans(a);
vyvod(a,'Матрица Аt');
trans(b);
vyvod(b,'Матрица Bt');
summa(a,b,abt);
vyvod(ab,'Матрица Аt+Bt');
k:=0;
for i:=1 to n do
for j:=1 to n do
if ab[i,j]<>abt[i,j] then k:=1;
if k=0 then write('Матрицы (A+B)t и (At+Bt) равны')
else write('Матрицы (A+B)t и (At+Bt) не равны')
end.