Дано натуральное число . Определить есть ли в нем цифра а Написать с постусловием язык Паскаля !!!!!

//Язык. Паскаля. Язык Паскаля, Карл!
//Pascal ABC.NET v3.1 сборка 1172

Var
 a,b,c:integer;
 d:boolean;
begin
 d:=false;
 readln(a);
 readln(b);
 repeat
  c:=a mod 10;
  a:=a div 10;
  if c=b then d:=true;
 until (c=b) or (a=0);
 if d=true then writeln(Есть) else writeln(Нет);
end.

Пример ввода:
34457
8
Пример вывода:
Нет