Проверить, верно ли, что каждый элемент массива A содержится в массиве B

const NMax1 = 4;
      NMax2 = 2;
 
function CharRus(c : Char) : Char;
begin
  case c of
    'А'..'п' : c := chr(ord(c) - 64);
    'р'..'я' : c := char(ord(c) - 16);
  end;
  CharRus := c;
end;
 
function PrintRus(s : String) : String;
var i : Integer;
    st : String;
begin
  st := ' ';
  for i := 1 to length(s) do
    st := st + CharRus(s[i]);
  PrintRus := st;
end;
 
procedure ReadVec( const A1 : array of Integer); (*Ввод с клавиатуры*)
var i : Integer;
begin
  for i := Low(A1) to High(A1) do readln(A1[i]);
end;
 
 procedure PrintVec(const A1 : array of Integer); (*Печать*)
var i : Integer;
begin
  for i := Low(A1) to High(A1) do Write(A1[i]:4);
  Writeln;
end;
 
procedure proverka(N1,N2: integer; const A1, B1: array of Integer; var f0 : boolean);
var i, j, m : integer;
begin
        i := 0; m := N2;
        while (i < N1) and (m <> 0) do
        begin
        m := N2;
          for j := 0 to N2-1 do begin
            if A1[i] <> B1[j] then
            m := m - 1;
            end;
          inc(i);
        end;
        f0 := m <> 0;
end;
 
 
var  f : boolean;
    SA : array of Integer;
    SB : array of Integer;
 
begin
  SetLength(SA,NMax1);
  SetLength(SB,NMax2);
  writeln('Array A ');
  ReadVec(SA);
  PrintVec(SA);
  writeln('Array B ');
  ReadVec(SB); PrintVec(SB);
  proverka(NMAx1,NMax2, SA, SB, f);
  writeln('Каждый элемент массива A содержится в массиве B : ',f);
  readln;
end.