مبرهنة بيزو - مبرهنة غوص
نقول عن عددين طبيعيين أنهما أوليان فيما بينهما عندما يكون القاسم المشترك الأكبر لهما يساوي
يكون عددان صحيحان
أثبت باستعمال بيزو أن
نقسم
إذا كان
منه
إذن
كل عدد مضاعف لـ
- يكون للمعادلة حلا إذا كانالقاسم المشترك لـويقسم
- إذا كانت حل للمعادلة فإن مجموعة الحلول هي الثنائيات
حيث