def _eval_rewrite_as_FallingFactorial(self, x, k):
        return FallingFactorial(x + 1 - k, k)
dataset/ETHPy150Open sympy/sympy/sympy/functions/combinatorial/factorials.py/RisingFactorial._eval_rewrite_as_FallingFactorial/swapped operands of `-`