yes, but:
1. were saying that it is true for a value, when we are meant to prove it isnt for any
2. we are saying that it isnt true for the value following the value it is true for, so for it to be not true, the one before has to be true; imm not sure how to explain it, but the 'domino effect'...