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