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