Considere a função Fat descrita abaixo, que recebe um número...

Considere a função Fat descrita abaixo, que recebe um número inteiro positivo e calcula o fatorial do mesmo de forma recursiva, devolvendo um número inteiro. O fatorial de 0 é 1.

Function Fat (n:integer) : integer;
begin
if n > 0
then ...
else Fat := 1;
end;

Para que a função Fat funcione corretamente, o trecho marcado com ... deve ser substituído por: