שינויים
/* תרגיל */
הוכחה: נניח בשלילה כי <math>|V|+1\leq |E|</math>
נסתכל על הגרף <math>G'=(V,E\\ \{v_{n-1},v_n\}</math> הוא בעל <math>|V| \leq|E|-1</math> קשתות אך הרסנו את המעגל היחידי שהיה ב G אבל לפי תרגיל ממקודם אם מספר הצלעות גדול שווה ממספר הקודקודים יש בו מעגל. סתירה.