Здравствуйте программисты! кто может проверить меня правильно ли я написал программу*? ПАСКАЛЬ

Текст программы
Program comm;
Const n=4;
Type massiv=Array[1..n,1..n] of Integer;
Var A,B,AB,BA,Com,ACom: massiv;

Procedure RandomMas(Var x:massiv);
Var i,j:Integer;
Begin
For i:=1 To n Do
For j:=1 To n Do
x[i,j]:=Random(4);
End;

Procedure VivodMas(Var x:massiv);
Var i,j:Integer;
Begin
For i:=1 To n Do begin
For j:=1 To n Do begin
write(x[i,j]:5);
end;
writeln;
end;
End;

Procedure Proizv(Var x,y,z:massiv);
Var i,j,k:integer;
Begin
For i:=1 to n do begin
For j:=1 to n do begin
z[i,j]:=0;
for k:=1 to 5 do
z[i,j]:=z[i,j]+x[i,k]*y[k,i];
end;
end;
End;

Procedure Comm(Var x,y,z:massiv);
Var i,j:integer;
Begin
writeln(‘kommutator:’);
For i:=1 to n do begin
For j:=1 to n do begin
z[i,j]:=x[i,j]-y[j,j];
write(z[i,j]:5);
end;
writeln;
end;
End;

Procedure Anti(Var x,y,z:massiv);
Var i,j:integer;
Begin
writeln(‘antikommutator:’);
For i:=1 to n do begin
For j:=1 to n do begin
z[i,j]:=x[i,j]+y[j,j];
write(z[i,j]:5);
end;
writeln;
end;
End;

Begin
Randomize;
RandomMas(A);
Writeln('Matrica A:');
VivodMas(A);

RandomMas(B);
Writeln('Matrica B:');
VivodMas(B);

Proizv(A,B,AB);
Proizv(B,A,BA);
Comm(AB,BA,Com);
Anti(AB,BA,ACom);
End.