Верно ли, что в строке имеется заданная подстрока?

Дана строка s. Верно ли, что в строке s имеется заданная подстрока y?

Для определения принадлежности некоторой подстроки заданной сроке будем использовать операцию вхождения in.

Программа решения на языке Паскаль:

var s,y:string;

begin

  writeln('Введите строку');

  readln(s);

  writeln('Введите подстроку');

  readln(y);

  if y in s then writeln('верно, подстрока ',y,' входит в строку ',s) else writeln('неверно, подстрока ',y,' не входит в строку ',s);

end.