[PASCAL]Есть ли элемент, удовлетворяющий условию

const N = 10;
 
var
  a: array [1..N] of integer;
  i,K: integer;
  IsFound: boolean;
 
begin
  randomize;
  for i:=1 to N do
    a[i] := Random(15);
  writeln('Элементы массива a: ');
  for i:=1 to N do
    write(a[i],' ');
  writeln;
 
  K := Random(15);
 
  IsFound := False;
  for i:=1 to N do
    if a[i] = K then
    begin
      IsFound := True;
      break
    end;
 
  if IsFound then
    begin
     writeln('Элемент ',K,' найден');
    end
  else
    begin
     writeln('Элемент ',K,' не найден');
    end;
  readln;
end.