These two finite-sum transformations are inverses over any commutative ring. Substitute one sum into the other and use . The inner alternating sum is by the binomial theorem, so only survives. In a Mahler expansion, is the nth finite difference of the sampled values .
New to topics? Read the docs here!