(8) ∃1∈k; ∀a∈k, 1a = a1 = 1