функция Опции

[Client]

не могу понять в зависимости от чего Z получает значение в тексте программы.
подскажите почему

uses crt;
label 0;   {описываем метку}
var
rez:real;
m,n:longint; {описали глобальные переменные, используемые в программе}
function fact(z: longint): real; {заголовок функции с формальным параметром-
значением, типом}
var
y: real; {описали локальную переменную}
begin
y:=1; {для получения результата необходимо присвоить  у  значение  1.  также
при помощи этого реализуется вычисление 0!  и 1!}
while z>1 do {запускаем цикл  в  обратную  сторону,  для  упрощения  опустим
множитель 1}
begin
y:=y*z;
z:=z-1
end;
fact:=y{вычисляем факториал, присваиваем его значение функции}
end; {конец функции}
begin{начало тела программы}
writeln('введите неотрицательные числа'); {для удобства пользователя  просим
ввести числа}
0:readln(m,n); {в память вводятся числа}
if m or n <0 then begin
writeln(‘вы ошиблись, вводите неотрицательные числа’);
goto 0 {при ошибке пользователя предотвращаем выдачу неверного результата}
end;
rez:=(fact(m)+fact(n))/fact(m+n); {вычисляется значение данного выражения}
writeln('результат: ',rez)  {выводим на экран результаты счета}
readkey
end.

[Client]

Можно еще вопрос?
Вот в основной программе можно сделать так

n:=f(z);

А в самой функции f как-нибудь можно написать

k:=f;

Чтоб в К лежало значение этой функции, но чтоб при этом не было рекурсии, чтоб здесь компилятор не просил параметр. Если можно, то как?