Я Паскаль не знаю, так что процедуры мне частично знакомы, частично нет. Так вроде по логике вещей похоже на правду. Программка запускается, нужное выдает? Придут специалисты ,подскажут точнее.

Вот вопрос: проверку для k

надо делать до цикла или в самом цикле?