почему в процедуре b нельзя поставить var перед k (pascal)

tpc= array [1..n] of -n..n;
tpe= array [1..n] of 1..n;
procedure CANON(var f : TPE; var g : TPK);
var i,j : 0..n;
a : array [1..n] of Boolean;
procedure B(k : integer);
begin a[k]:=false; {1}
if k<>i then
begin
B(f[k]);
g[j]:=k; j:=j-1; {2}
end
end;
begin for i:=1 to n do a[i]:=true; j:=n;
for i:=1 to n do
if a[i] then
begin {3}
B(f[i]);
g[j]:=i; j:=j-1 {4}
end
end;