reverseFactorial() is done.