$ABC$ nin ortik üçgeni $DEF$ üçgeninde, $H$ iç merkezdir. (İspatı: $\angle EFH = \angle EAH = DBH = \angle DFH$.)
$EF$ nin $AD$ ile kesişimi $A'$ olsun.
$DFA'$ üçgeninde $FH$ iç açıortay, $FA$ dış açıortaydır: $\dfrac {AA'}{AD} = \dfrac {HA'}{HD}$.
Aynı oranı yeniden yazarak; $\dfrac {HA - HA'}{AD} = \dfrac {HA'}{AD - HA}$
$HA \cdot AD - HA^2 - HA'\cdot AD + HA\cdot HA' = AD \cdot HA'$.
$2\cdot AD \cdot HA' =HA(AD - HA + HA') = HA(DH + HA') = HA \cdot DA'$.
$$\dfrac {HA'}{HA} = \dfrac 12 \cdot \dfrac {DA'}{DA} \tag {1}$$ elde ederiz.
$EF$ ile $BC$, $L$ de kesişsin. $(DEF)$ çemberinin $D$ deki teğeti, $EF$ yi $M$ de kessin.
$\angle A'DE = 90^\circ - \angle BAC$.
$\angle EDM = \angle DFE = 180^\circ - 2\angle BCA$.
$\begin{array}{lcl}
\angle MDL &=& 90^\circ - (\angle A'DE + \angle EDM) \\ &=& \angle BAC + 2\angle BCA - 180^\circ \\ &=& \angle BCA - \angle ABC \\ &=& \angle BCA - \angle AEF \\ &=& \angle BCA - \angle LEC \\ &=& \angle DLM \end{array}$.
Dolayısıyla, $$ML = MD = A'M \tag{2}$$
$A$ dan $EF$ ye çizilen paralel ile $CF$, $BE$, $BC$ doğruları sırasıyla $F'$, $E'$, $K$ noktalarında kesişsin.
$(1)$ den dolayı, $$\dfrac {HA'}{HA} = \dfrac 12 \cdot \dfrac {DA'}{DA} = \dfrac 12 \cdot \dfrac {A'L}{AK} = \dfrac {A'M}{AK}$$ olacağı için $H$, $M$, $K$ noktaları doğrusaldır.
$AK \parallel EF$ ve $AT \perp EF$ olduğu için $AT \perp AK$. Öklid'den $$KA^2 = KD \cdot KT \tag {3}$$
$\angle ABC = \angle AEF = \angle EAK$ olduğu için $KA$ doğrusu $(ABC)$ çevrel çemberine teğettir. $$KA^2 = KC\cdot KB \tag{4}$$
$\angle HBC = \angle EFH = \angle E'F'H$ olduğu için $$KE'\cdot KF' = KC \cdot KB = KA^2 \tag{5}$$
$(DEF)$ çemberi ile $(DPQ)$ çemberinin kuvvet ekseni $DM$ olduğu için $$ME \cdot MF = MP\cdot MQ = MD^2 = MA'^2 \tag{6}$$
$HP$ ve $HQ$ doğruları ile $AK$ doğrusu sırasıyla $P'$ ve $Q'$ noktalarında kesişsin.
$\triangle HMF \sim \triangle HKF'$ olduğu için $(6)$ daki eşitlik $$KP'\cdot KQ' = KE'\cdot KF' = KA^2 \tag{7}$$ olacaktır.
$(7)$ ile $(4)$ ü birleştirirsek $P'$, $Q'$, $B$, $C$ noktaları çembersel olur.
Şimdi de $P$, $Q$, $R$, $S$ noktalarının çembersel olduğunu göstereceğiz.
$PQ$ noktalarının $EF$ doğru parçası üzerinde veya dışında olmasına göre ispat biraz farklı olacak. Şekildeki duruma göre ispatımıza devam edelim.
$\angle HRS = \angle HBS = \angle HBC - \angle SBC = \angle EFH - \angle SHC = \angle EFH - \angle FHQ = \angle PQH$. Bu da, $P$, $Q$, $R$, $S$ noktalarının çembersel olduğu anlamına gelir.
$PQ \parallel P'Q'$ olduğu için $P'$, $Q'$, $R$, $S$ noktaları da çemberseldir.
$(P'Q'RS)$, $(P'Q'BC)$, $(BRSC)$ çemberlerinin ikişerli kuvvet eksenleri, tek bir noktada (üç çemberin kuvvet merkezinde) kesişir. Bu nokta da $P'Q'$ ile $BC$ nin kesişimi olan $K$ noktasıdır. O halde, $R$, $S$, $K$ noktaları doğrusaldır.
Bu durumda, $KS \cdot KR = KC \cdot KB = KA^2 = KD \cdot KT$ olduğu için $R$, $S$, $D$, $T$ noktaları da çemberseldir.