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?