Siguin A', B', C' les traces cevianes de P. Es traça la circumferència per A' i B' tangent a la circumferència inscrita en els punts de contacte C1, C2. Anàlogament es defineixen B1, B2, A1, A2. Llavors les rectes A1A2, B1B2, C1C2 són concurrents.