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

//Язык. Паскаля. Язык Паскаля, Карл!
//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
Пример вывода:
Нет