16.18. Εστω ότι ο p είναι πρώτος. Στην Zp*, p – 1 = – 1, και από την 16.17, το
αντίστροφο καθενός από τα στοιχεία 2, 3, …, p – 2 είναι ένα άλλο από
αυτά τα στοιχεία.
Ετσι 2.3….(p – 2) = 1 και (p – 1)! = 1.2.3….(p – 2)(p – 1) = p – 1 = –1.
Στην Ζ4, 3! = 6 = 2 ¹ – 1 = 3.