(∀a ∈ F) (∃1 ∈ F) a ・ 1 = 1 ・ a = a

Add a description of (∀a ∈ F) (∃1 ∈ F) a ・ 1 = 1 ・ a = a