fact(N) when N=1; N=0 -> 1.