Έστω

το σώμα με

στοιχεία και

η κανονική απεικόνιση. Τότε, η

επάγει έναν ομομορφισμό δακτυλίων πολυωνύμων
Από την υπόθεση, για κάθε

ισχύει ότι

Αλλά, αφού το πολυώνυμο
![\displaystyle{\bar f\left( X \right) \in {\mathbb{F}_5}\left[ X \right]} \displaystyle{\bar f\left( X \right) \in {\mathbb{F}_5}\left[ X \right]}](/forum/ext/geomar/texintegr/latexrender/pictures/41be7adeef5e1d5bc384e51be6862d9c.png)
έχει

ρίζες και βαθμό το πολύ

, θα έχουμε ότι το

είναι το μηδενικό πολυώνυμο. Επομένως, όλοι οι συντελεστές του πολυωνύμου

θα είναι πολλαπλάσια του

.
Σημείωση: Με τον ίδιο τρόπο αποδεικνύεται ότι αν

είναι ένας πρώτος αριθμός και
![\displaystyle{f\left( X \right) \in \mathbb{Z}\left[ X \right]} \displaystyle{f\left( X \right) \in \mathbb{Z}\left[ X \right]}](/forum/ext/geomar/texintegr/latexrender/pictures/b5c687b9f7e25d845409edb3f5e1fc1b.png)
είναι ένα πολυώνυμο βαθμού μικρότερου του

τέτοιο, ώστε

για κάθε

, τότε όλοι οι συντελεστές του

είναι πολλαπλάσια του

.