PROCEDURE FactRec(n: CARDINAL): CARDINAL =
VAR result := 1;
BEGIN
IF n > 1 THEN
result := n * FactRec(n - 1);
END;
RETURN result;
END FactRec;