- تحقق أن : 
 
- التحقق أن :  
 
- أثبت أن : 
 
نضع:
تبيان أن
تبيان أن
من (1) و (2)
إذن
-  استنتج القيم الممكنة لـ 
 
- القيم الممكنة لـ  :
 
لدينا
-  بين أن العدد  قاسم مشترك لـو.
 
-  قاسم مشترك لـو
 
لدينا
من
-  استنتج أن : هو:أو
 
- 
	
استنتاج أن :
هواولدينا
و - 
	
و منه
 
بما أن
-  عين  ,إذا علمت أن:
 
-  تعين ,علما أنمعناه:أو( مستحيلة) إذن:و منه
 
و منه
          
            
 
        


        