If N = 0 then
 Return 1
Else
 Return N * Factorial (N - 1)
