اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
بالنسبة للأسطح، تأتي هذه الفرضية من نظرية غاوس-بونيه. بالنسبة للمتشعبات رباعية الأبعاد، ينبع هذا من محدودية المجموعة الأساسية وازدواجية بوانكاريه. وتم إثبات هذه الفرضية للمتشعبات ذات البعد 4k+2 أو 4k+4 التي تتيح عملاً حلقيًا متساوي الأبعاد للنتوء البعدي k، وبالنسبة للمتشعبات M التي تتيح عملاً متساوي الأبعاد لمجموعة لاي المضغوطة G مع المجموعة الفرعية لاتساق الاتجاهات الرئيسية H ومعامل التجانس k، حيث إن
في إحدى الفرضيات ذات الصلة، يتم استبدال "إيجابي" بـ "غير سلبي".