Correct the definition of the italicized term without reference to the text, if correction is needed, so that it is in a form acceptable for publication.

Let F̅ be an algebraic closure of a field F. An element α in F̅ is separable over F if and only if α is a zero of
multiplicity 1 of irr(α, F).