Considere a função Fat descrita abaixo, que recebe um
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;beginif n > 0then ...else Fat := 1;end;Para que a função Fat funcione corretamente, o trecho marcado com ... deve ser substituído por: