Tutaq ki, bərabəryanlı olmayan ABC üçbucağının xaricinə çevrə çəkilib. Bu çevrəyə A, B və C nöqtələrində toxunanlar çəkilib. A’, B’ və C’ nöqtələri isə həmin toxunanların ABC üçbucağının tərəflərinin uzantıları ilə kəsişmə nöqtələridir. Onda A’, B’ və C’ nöqtələri bir düz xətt üzərindədir.