1, p. Αρα
n = ab, όπου 0 <
a, b < n.17.3. Οταν ο n είναι πρώτος, το Ζn είναι σώμα και ισχύει η συνεπαγωγή.
Εστω ότι ο φυσικός αριθμός n δεν είναι πρώτος. Υπάρχει επομένως
θετικός
διαιρέτης a του
n
με a 1, p. Αρα
n = ab, όπου 0 <
a, b < n.
Τώρα στον Ζn,
a, b 0 αλλά
ab = n = 0.