Даны две последовательности а1, а2, ... ,аn и b1, b2, ... ,bm (m < n). В каждой из них значения элементов различны. Верно ли, что

procedure fun(a,b:integer;var k:integer);
begin
if b=a then k:=k+1;
end;
var a,b:array[1..100] of integer;
i,n,k,m,j:integer;
begin
k:=0;
writeln('Кол-во элементов 1го массива');
readln(n);
writeln('Кол-во элементов 2го массива');
readln(m);
Writeln('Первый Массив: ');
for i:=1 to n do
readln(a[i]);
Writeln('Второй Массив: ');
for i:=1 to m do
readln(b[i]);
for i:=1 to m do
for j:=1 to n do
fun(a[j],b[i],k);
if k=m then write('Верно')
else write('НЕ верно');
end.