שינויים
/* תרגילים נוספים */
עבור <math>n=3</math> הגרף הוא בהכרח משולש (לא יכולות להיות יותר מ-4 צלעות עבור 3 קדקודים) ואכן יש מעגל.
נניח כי הטכנה הטענה נכונה עבור <math>n</math> ונוכיח עבור <math>n+1</math>. יהי <math>G</math> בעל <math>n+1>3</math> קדקודים ו- <math> m\ge n+1</math> צלעות.
''אפשרות 0'' - קיים קדקוד מדרגה 0 - כלומר אין לו שכנים. אז נביט בגרף בלי הקדקוד הזה, ומהנחת האינדוקציה נקבל שיש בו מעגל; זהו מעגל גם בגרף המקורי.
