משפט 1: שבו, נוסחה 5 הוא אחד פונקציות סופיות של הורן עם שני משתנים ומצטלבים עבור כל ערכים היפר-גיאומטריים מצטלבים של נוסחה 6 ונוסחה 7 הוא ניתן על ידי: משפט 2: נוסחה 5 היא אחת הפונקציות היפר-גיאומטריות של הורן עם שני משתנים ומתכנסות לכל הערכים הסופיים של נוסחה 6 ו- נוסחה 7. הוא ניתן על ידי: שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.