الجملة الأولى: الشكل الخامس هو واحد من الوظائف الهايبرجيومترية المتداخلة لـ هورن مع متغيرين ومتقاربة لكل القيم المحدودة للشكل السادس والشكل السابع. يعطيه: الجملة الثانية: حيث الصيغة _ 5 هي واحدة من وظائف هورن المتداخلة مع متغيرين ومتقاربة لجميع القيم المحدودة للصيغة _ 6 والصيغة _ 7. يعطيه: سؤال: هل الجملة الأولى والجملة الثانية تعبر عن نفس المعنى؟ نعم او لا؟