simplify binomial(n, k)*factorial(-k + n)