(2) ∃0∈V; ∀a∈V, 0 + a = a + 0 = a