Цикл for - Free Pascal

Задался вопросом , почему цикл в паскале

read(i);
for i:=1 to i do

равносилен

read(k);
for i:=1 to k do

Листинг программы

begin
  counter := initialValue;
  while counter <= finalValue do
  begin
    statement;
    counter := Succ(counter);
  end;
end

Объяснение кода листинга программы

Создается переменная counter и инициализируется значением initialValue.
Запускается цикл while, который выполняется до тех пор, пока значение переменной counter не станет больше finalValue.
Внутри цикла выполняется statement, то есть определенное действие или операция.
После выполнения statement значение переменной counter увеличивается на единицу с помощью функции Succ(counter).
Цикл продолжается до тех пор, пока значение counter не станет равным finalValue.