۴ در شکل زیر اگر $\triangle ABC$ متساوی‌الساقین باشد و $\overline{EB} = \overline{CD}$ باشد، ثابت کنید $\triangle ADE$ متساوی‌الساقین است. [شکل: مثلث بزرگ ADE که مثلث ABC درون آن قرار دارد، با رئوس A در بالا و نقاط D و B و C و E روی یک پاره‌خط افقی. نماد هم‌نهشتی روی پاره‌خط‌های DB و CE قرار دارد.]