Show that
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