for all .
Proof. We consider three cases.
Case #1: If , then both sides of the equation are 0, so the equation holds.
Case #2: If , then for all so,
The last equality follows since implies .
Case #3: If , then for all so,
The final line follows since since