Proving the Assertions (3)
To show: Basis: The assertion is true the first
time the
program
gets to that point.
The first time, the value of i is 0.
The assertion then is
(("k < 0) a[k] != v ô i <
a.length)
Is this
assertion true?
(("k <
i) a[k] != v ô i <
a.length)