Added property to test that the "zero vector" is the identity element of
the vector addition