fact(N) when N>1 -> fact(N, N-1);