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