אם ABCD הוא מרובע קמור, ו - AB+CD=BC+DA, אזי ניתן לחסום מעגל במרובע ABCD. נסו להוכיח זאת לא בדרך השלילה (כלומר לא על ידי הנחה שלא ניתן לחסום במרובע מעגל וקבלת סתירה).
מרובע חוסם מעגל, כלומר כל אחת מהצלעות שלו משיקה למעגל. שני משיקים שיוצאים מאותו קודקוד אל אותו מעגל שווים בניהם (מהקודקוד עד נקודת ההשקה שמסומנת בריבוע אדום) כך מכל קודקוד של המעגל החוסם יוצאים שני משיקים לעיגול, הצלעות. ע"פ השירטוט אפשר לראות קטעים של צלעות שהם שוות (קוו ו-קוו, 2 קווים ו-2 קווים...). סכום שתי צלעות נגדיות שווה! מש"ל
