Алгоритм быстрого возведения в степень (Паскаль)

Алгоритм бинарного (быстрого) возведения в степень использует рекурсию:

$a^n=\left\{\begin{array}{c}1, \mathrm{п}\mathrm{р}\mathrm{и} n=0;\hfill \\ a^{\frac{n}{2}}\cdot a^{\frac{n}{2}}, \mathrm{п}\mathrm{р}\mathrm{и} \left(n \mathrm{m}\mathrm{o}\mathrm{d} 2\right)=0;\hfill \\ a^{n-1}\cdot a, \mathrm{п}\mathrm{р}\mathrm{и} \left(n \text{m}\text{o}\text{d} 2\right)=1.\hfill \end{array}\right.$

Пример. Составьте программу быстрого возведения в степень.

Программный код:
function pow (a, n: integer): integer;
begin
 if n = 0 then
  pow := 1
 else if n mod 2 = 0 then
  pow := pow (a * a, n div 2)
 else
  pow := a * pow (a, n - 1);
end;
Begin
 write (pow (5, 7));
End.