הנה 5
נסתכל בבעיה באופן הבא: אני אסמן קודקוד ע"י * נניח שהמצב הנתון הוא -*- ויש לנו את הקיבול של הקודקוד, הדבר שקול להקיף את הקודקוד בשני קודקודי דמה Xin,Xout כך ש zzz -Xin~x~Xout- zzz כאשר על הצלעות ~ ישנו הקיבול המופיע בצומת, ועל הצלעות הישרות (שהן נשארות מהגרף ההתחלתי), ניתן קיבול אינסופי (כלומר הן לא bottle-neck בזרימה). ברור שכל זרימה המקיימת את הגרף הזה, תקיים את תנאי הקיבול בקודקודים, נשאר לך להראות את הכיוון השני, הוא גם יחסית טריוויאלי.
