الجملة 1: حَيْثُ ، صِيغَةُ 5 هِيَ إحْدَى دَلَائِلِ هُورَنَ المُتَوَهَّمَةِ بِتَغَيُّرَيْنِ وَتَتَقَارَبُ لِجَمِيعِ القِيمَاتِ الْمُتَقَارِبَةِ لِلْجِبْرِيَاتِ مِنْ الصِيغَةِ 6 وَالصِيغَةِ 7. يُعْطَى بِ: الجملة 2: الشكلة 5 هي واحدة من وظائف هيرجيوميتريكية هورن المتداخلة مع متغيرين ومتقاربة لجميع القيم المحدودة من الشكلة 6 و الشكلة 7. يُعْطَى بِ: سُؤَالٌ: هَلْ جُمْلَةُ 1 وَجُمْلَةُ 2 تَعْبُرَانِ عَنِ الْمَعْنَى؟ نَعَمْ أَوْ لا؟