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