Проверить равенство с использованием функции - Pascal ABC

Формулировка задачи:

1+2+2^2+...2^(n-1)=2^n - 1

function Stepen2 (k: byte): longint; {два в степени}
var
 Y : longint;
 j : byte;
begin
 Y:= 2;
 for j:= 2 to k do
 Y:= Y*2;
 Stepen2:= Y;
end; 
var
 Lsum : longint; 
 PCh : longint; 
 k, n : byte;
begin
 Writeln (#10,' Проверка равенства ... ');
 for n:= 1 to 30 do
 begin
 LSum:= 0; {сумма слева}
 for k:= 0 to n-1 do
 LSum:= LSum + Stepen2(k);
 PCh:= Stepen2(n) - 1;{сумма справа}
 if LSum <> PCh then
 begin
 Writeln ('Равенство не выполняется при n = ',n);
 Halt;
 end;
 end; { n }
 Writeln (' Равенство проверено для n = 1, 2, ... 30');
end.

Почему выводит, что равенство не выполняется при n=1?

Решение задачи: «Проверить равенство с использованием функции»

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

begin
 Y:= 1; //2^0
 for j:= 1 to k do
 Y:= Y*2;
 Stepen2:= Y;
end;

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

Y := 1; // 2^0
for j := 1 to k do Y := Y * 2;
Stepen2 := Y;