في هذا القسم، يبني المؤلفون على الاستفسارات الأخيرة التي طرحها ناثانسون لإظهار أنه بالنسبة لأي مجموعة أبدية لانهائية \( G \) ومجموعة من الأعداد الصحيحة \( m_1, \ldots, m_H \)، من الممكن العثور على مجموعات فرعية نهائية \( A \) و \( B \) داخل \( G \) بحيث يحقق الفرق في أوامر المجموعات الفرعية…