If Aij Vij Aij Aij Vij is true, then for any rando named k:

Aij k Aij Vij k

Aij k Aij Vij k

if k 0
(Remember that multiplying by negative flips inequality)
if k 0

Aij k Aij k Vij k

Aij k Aij k Vij k

if k 0
(Subtracting a negative is same as adding its magnitude)
if k 0

Rewriting:

Or simply put: Aij k Aij k Vij k

If you have a bunch of randos, for example a vector of randos named x.

Aij x j Aij x j Vij x j is true for the jth element of x., (j = 1,,n).
Sum the damned thing over j

A x
ij

Vij x j Aij x j Vij x j

j

Ai x Ai x Vi x
And because Ax V x b

Ai x Ai x Vi x bi
Or in vector form:

Ax Ax V x b
Which means that if Ax V x b is true we are guaranteed that Ax b . So it looks like they are
equivalent?
But in order for them to be equivalent, it has to also work in reverse so that if Ax b , we are
guaranteed that Ax V x b is true. Which just looks wrong as hell.