Forward Difference of Power

Theorem

 * $\Delta c^x = \paren {c - 1} c^x$

where $\Delta$ denotes the forward difference operator.

Proof
From the definitions: