数学の証明という理論がわからないです

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