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