multifactorial6(N,D) = cond(N <= 0, 1, N*multifactorial6(N-D,D)).