Es sei K{\displaystyle {}K} ein Körper der Charakteristik p{\displaystyle {}p}, sei q=pe{\displaystyle {}q=p^{e}}, e≥1{\displaystyle {}e\geq 1}. Es sei
Dann ist M{\displaystyle {}M} ein Unterkörper von K{\displaystyle {}K}.