שינויים

'''טענה:''' אם <math>E/F</math> הרחבת גלואה ו-<math>G=Gal(E/F)</math>, אז <math>E^G=F</math> (באשר <math>E^G</math> הם האיברים <math>a\in E</math> המקיימים <math>\sigma a=a</math> לכל <math>\sigma\in G</math>).