fact(F,N) -> fact(F*N, N-1).