Точка с координатами (x, у) принадлежит части плоскости, лежащей между прямыми у = m, у = n (m < n). (программа Паскаль)

uses crt;
var x, y,m,n: integer;
    proverka: boolean;
begin
  clrscr;
  writeln('введите x и y');
  readln(x, y);
  repeat
   writeln('введите m и n с условием m<n');
   readln (m, n);
  until m<n;
  proverka := false;
  if (x >=m) and (x <=n) then
    proverka := true;
writeln;
writeln(proverka);
readln
end.