النظرية المستخدمة هي حالة خاصة من نظرية Bezout :
إذا كان a , b عددين صحيحين ليس كلاهما صفرا
فإن القاسم المشترك الأعظم لكل من a,b يساوي 1 ، بالرمز a , b ) =1 )
إذا وإذا فقط <==>
و جدنا عددان صحيحان x,y بحيث أن ax+by=1
في التمرين الموضح بالشكل أعلاه و جدنا العددين 2 ، -3 صحيحين يحققان
2a-3b=2(6n-7)-3(4n-5)
=1
و من منطلق النظرية يكون القاسم المشترك الأكبر للعددين 6n-7 , 4n-5 هو العدد 1
و بالتالي فهما أوليان نسبيا
على فكرة النظرية دي من ابجديات التحليل العددي
تحياتي