إليك مخطط أساسي:
اقتراح: إذا
دليل: دع
ثم ، عن طريق تقسيم الخوارزمية ،
# R = 0،1،2، # أو#3# (بقية).حالة 1: ص = 0. إذا كان الباقي هو
#0# ، ثم# ن = 4K = 2 (2K) # .
#:. ن # هو حتىالقضية 2: ص = 1. إذا كان الباقي هو
#1# ، ثم# ن = 4K + 1 # .
#:. ن # أمر غريب.القضية 3: ص = 2. إذا كان الباقي هو
#2# ، ثم# ن = 4K + 2 = 2 (2K + 1) # .
#:. ن # هو حتى.القضية 4: ص = 3. إذا كان الباقي هو
#3# ، ثم# ن = 4K + 3 # .
#:. ن # أمر غريب.