section_heading: Dokaz
paragraph_text: Sada je jasno da brojeve <math> 2, 3, ..., p - 2 </math> možemo rasporediti u parove (na jedinstveni način) tako da je umnožak brojeva u svakom paru kongruentan <math> 1 </math> modulo <math> p. </math> Dakle, jedino faktori broja <math> P </math> koji ostanu nespareni su <math> 1, p - 1 </math> pa je <math> P \equiv 1 \cdot 1 \cdot (p - 1) \pmod p. </math> Prema tome, <math> (p - 1)! \equiv p - 1 \equiv - 1 \pmod p, </math> što je i trebalo dokazati.<ref>I. Matić, Uvod u teroju brojeva, Odjel za matematiku Sveučilišta J. J. Strossmayera u Osijeku, 2013, skripta.