Hi,

this post is connected to How to prove it post. Since then i have been reading about how to use proofs but am still a newbie in the area. so my question to you guys is: Is this relevant to be proven or am i just wasting my time?

What I have is an array A of numbers. Every number in this array has an index. the indexes span from 0 to n. initial boundary conditions that are given are:

1. is index and

2. is a value, a number in array A at position i and

Is is necessary to prove:

Prove that for every there exists such that .

or is this totally redundant and obvious form the initial conditions since all i need to do is to plug-in the expression for j and show that it equals to i (of course if this is the correct way to prove this ).

thank you

Baxy

PS

Also what confuses me is this condition. Do i need some how show that if this condition isn't met then can appear ??