If you do not find what you're looking for, you can use more accurate words.
ليكن p عددا اوليا موجبا
إذا كان فإن
سنثبت النظرية باستخدام الاستقراء الرياضي لكل الأعداد الصحيحة الموجبة a ≥ 0. خطوة الأساس هي حينما 0 p ≡ 0 (mod p) صحيحة لأنها صحيحة للأعداد الصحيحة. ثم نثبتها لـa = k ومنها ننطلق لـa = k+1. ولهذه الخطوة سنحتاج إلى الاستدلال:
لأي عدد أولي p فإن
لبرهنة الاستدلال سنحتاج إلى تقديم نظرية ذات الحدين والتي تنص على أنه لأي عدد صحيح n
حيث المعاملات معاملات ذات الحدين
والتي يمكن كتابتها بصيغة المضروب
و حيث أن جميع المعاملات أعداد صحيحة وحين 0 < p > i فإنه لايوجد قاسم لـp في المقام، وبالتالي فإن المعامل يحتوي على قاسم p في البسط وبالتالي
وهذا يقصي جميع الحدود ماعدا الحدين الأول والأخير .
لنفرض أن (kp ≡ k (mod p و لننظر لـk+1)p) من الاستدلال لدينا
وباستخدام نظرية الاستقراء لدينا (kp ≡ k (mod p; وببساطة 1p = 1
وبالتالي نحصل على
وهو مانريد إثباته a = k+1. ∎
إذا كان p" عددا أوليا وكان m وn عددين صحيحين طبيعيين حيث m يوافق n بترديد p-1, فإن لكل عدد صحيح ؟ لدينا: am ≡ an (بترديد p). (≡ يوافق بترديد)