factorialpower(m, k)