משפט 1: הסמלים formula _ 16 ו-formula _ 17 מייצגים פונקציות מוגבלות של הסכום (של משתני קצה התא הניתנים), `` כלומר ``, משפט 2: סמלי הנוסחה 16 והנוסחה 17 מייצגים פונקציות תלויות בתכנית (של משתני קצה התא המוגבלים), כלומר: שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.