افتح القائمة الرئيسية

تغييرات

تم إزالة 1 بايت ، ‏ قبل سنتين
ط
===البرهان الأول===
==== حالة العدد غير الأولي ====
إذا كان ''n'' [[عدد غير أولي|عدداً غير أولي]] (مركب) فهو يقبل القسمة على عدد أولي ''q''، حيث {{nowrap|1=2 ≤ ''q'' ≤ ''n'' − 2}}. إذا كان {{nowrap|1=(''n'' − 1)!}} يطابق {{nowrap|1=−1 (mod ''n'')}} فإنه سيطابق -١1 (mod ''q''). ولكن (''n''&nbsp;−&nbsp;1)!&nbsp;&equiv;&nbsp;0&nbsp;(mod&nbsp;''q'') . <br />
==== حالة العدد الأولي ====
النتيجة واضحة عندما {{nowrap|1=''p'' = 2}} ، ولذلك سنفرض أن ''p'' عدد أولي فردي، {{nowrap|1=''p'' ≥ 3}}.<br />