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