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