Мы знаем, что операция n:=n div 10; удаляет одну последнюю цифру в числе n.  Если у нас имеется четырехзначное число, то после одного удаления останется 3 цифры, после 2-х удалений останется 2 цифры, после 4-х удалений наше число станет равным 0 (все 4 цифры удалены). На этом принципе и строится алгоритм: считаем количество удалений цифр, пока число не станет 0. В нашей программе переменная  k  является счетчиком числа цифр ( и числа удалений).