Дана последовательность целых чисел а1,. верно элементы последовательности равны собой.нужно написать программу на паскале с циклом

Var a: array [1..20] of integer;
    i: integer;
begin
     for i := 1 to 20 do
         readln(a[i]);
     for i := 1 to 20 do
         if (a[i] <> a[1]) then
         begin
              writeln('Неверно');
              exit;
         end;
     writeln('Верно');
end.

Надеюсь, я правильно понял задачу, а то иногда не разобрать... Тут вначале надо 20 чисел ввести, а потом она проверяет, верно ли, что они все равны)