So this is true if and only if-- let's just subtract Av from both sides-- the 0 vector is equal to lambda- instead of writing lambda times v, I'm going to write lambda times the identity matrix times v.