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?

Thanks.