1. المنطوق النظري لمبرهنة غوص (Gauss's Theorem)

تقضي المبرهنة البنيوية لغوص بأنه لأجل كل ثلاثة أعداد صحيحة نسبيّة غير معدومة $a$، $b$ و $c$ (حيث $a, b, c \in \mathbb{Z}^*$):

إذا ثبت أن المقدار $a$ يقسم الجداء الجدائي $bc$ (أي: $a \mid bc$)، واستقر قيد الأولية المتبادلة بين القاسم والمضروب الأول عند النتيجة الأحدية: $\text{PGCD}(a, b) = 1$، فإن الاستلزام المنطقي يحكم حتماً بـ:

$a \mid c$

النموذج الاستدلالي الأول:

إذا ثبت صلب النطاق المنفصل المقيد بالمعادلة الخيارية استيفاء القابلية الآتية: $5 \mid 3x$. وبما أن القاسم $5$ عدد أولي ذاتيّاً، فإنه يحقق حتماً شرط الأولية المتبادلة مع المعامل الخطّي $\text{PGCD}(5, 3) = 1$، وممنه تفيد مبرهنة غوص باستلزام قطعي أن:

$5 \mid x$

2. التفعيل الإجرائي لغوص في حل المعادلات الدايوفانتية الخطية $ax + by = c$

تُمثل مبرهنة غوص الأداة الديدكتيكية الأساسية لعزل وتحليل مجاهيل المعادلات الخطية صلب النطاق الصحيح النسبي $\mathbb{Z}^2$؛ وذلك إثر استخراج ثنائية الحل الخاص $(x_0, y_0)$ وصياغة المعادلة الصفرية المتكافئة.

بالانتقال إلى الصيغة الجبرية الموازنة: $a(x-x_0) = b(y_0-y)$، وحيث يُفترض أن المعاملين أوليان فيما بينهما طوبولوجيّاً (عبر الاختزال المسبق بالـ $PGCD$)، تفيد العبارة صراحة بأن $a \mid b(y_0-y)$. وبموجب استيفاء شرط $\text{PGCD}(a, b) = 1$، يقضي استلزام غوص بأن القاسم $a$ يقسم حتماً المقدار المضروب الموالي: $a \mid (y_0-y)$، مما يتيح التعبير عنه بدلالة المتغير الوسيطي الحاد $k$ ($y_0-y = ak \implies y = y_0 - ak$).

3. النتيجة البنيوية المترتبة على قيد الأولية التبادلية للقسمة المشتركة

تنص النتيجة التحليلية المصاحبة على أنه إذا كان المقدار الصحيح النسبي $n$ يقبل القسمة على قاسمين منفصلين $a$ و $b$ في آن واحد، وثبت استقرار تباينهما طوبولوجيّاً عند الشرط $\text{PGCD}(a, b) = 1$، فإن قابلية القسمة تؤول حتماً إلى جداء المقدارين:

$a \mid n \quad \text{و} \quad b \mid n \implies ab \mid n$