Those two are not the same. For example, plug in .
You sure that it shouldn't be: ?
Post the question in its whole so maybe we can track down what's wrong.
Okay, I'm not gonna detail this summation proof, but this is what the inductive step comes down to:
I have to prove that is the same as
Since this can't factor, I took made it look like this:
So I can't seem to prove that it's , but the +1 algebra works...
In order for this proof to work, it has to be -1, anyone see anything wrong with what I did?