البرهنة
قام فيرما بشرح مبرهنته دون أن يقدم الدليل على صحتها, و أول من قدم برهانه للمبرهنة هو لايبنيز
عموميات
إذا كان p' عدد أولي و كان m و n عددان صحيحان طبيعيان بحيث m يوافق n بترديد p-1.
فإن لكل عدد صحيح ؟ لدينا:
am ≡ an (بترديد p).
( ≡ يوافق بتريد)
....
.