Another kind of recursion, called indirect recursion, results when two procedures call each other. In the following program, the variable counter is used to terminate repetition:

If n is a positive integer, then n factorial (written n!) is the product of the numbers from 1 through n. Write a recursive function to calculate n factorial.