Für ein beliebiges Dreieck ABC und einen beliebigen Punkt F auf der Seite AB (F≠A, F≠B) konstruiere man zwei Kreise, die jeweils die Strecken CF, den Umkreis von Dreieck ABC und die Strecken AF bzw. FB berühren. Dann liegen die Mittelpunkte dieser beiden Kreise und der Mittelpunkt des Inkreises auf einer gemeinsamen Geraden g.