ליניארית - שדות יהי f שדה ממאפיין ראשוני p, יש להוכיח כי שדה בגודל p, נמצא בתוך השדה f, וכן לכל איבר a שנמצא ב-f ואינו שייך לאותו שדה בגודל p, לא מתקיים: a^p == p כאשר == הוא סימון של שווה מבחינת המודול
