שינויים

<math>K[x]</math> ולא F

<math>a</math> ו

<math>b</math>

קיים אוטומורפיזם <math>\sigma\in{Gal(E/K)}</math> כך ש <math>\sigma (a)=b</math>