Проверить истинность высказывания: «Конь за один ход может перейти с одного поля на другое» — Pascal(Паскаль)

Program Boolean40;

Var
  x1, y1, x2, y2: Integer;

Begin
  WriteLn('Введите координаты первого поля: ');
  ReadLn(x1, y1);
  WriteLn('Введите координаты второго поля: ');
  ReadLn(x2, y2);
  WriteLn(((Abs(x1 - x2) <= 2) And (Abs(y1 - y2) = 1)) Or
    ((Abs(x1 - x2) = 1) And (Abs(y1 - y2) <= 2)));

end.