$A,C_1,H,B_1$ çembersel olduğundan $\angle LHB=A$ olur. $A,B,B_1,K$ çembersel olduğundan $\angle BKB_1=\angle BAB_1=A$ öyleyse $\angle LHB=\angle BKB_1$ dir. Yani $L,K,B_1,H$ çemberseldir. $\angle AC_1L=\angle AB_1B=\angle AKL=90^\circ$ olduğundan $A,C_1,L,K$ çemberseldir. Öyleyse; $\angle C_1AL=\angle C_1KL=\angle LKH=\angle LB_1H$ dır. $\angle ALC=90^\circ+\angle C_1AL$ ve $\angle LB_1C=90^\circ+\angle LB_1H$ dır.
Yani $\angle ALC=\angle LB_1C$ dir. Böylece $ALC$ ve $LB_1C$ üçgenleri benzerdir. Benzerlikten; ${CL}^2=CB_1\cdot CA$ elde edilir. $B,A,B_1,A_1$ çembersel olduğundan ${CB}_1\cdot CA=CA_1\cdot CB$ ve $CM=CL$ olduğundan ${CM}^2=CB\cdot CA_1$ elde edilir. Dolayısıyla Öklid'den $\angle BMC=90^\circ$ bulunur. $BP=BM$ ve $C,A,C_1,A_1$ çemberselliğinden ve Öklid'den ${BP}^2={MB}^2=BA_1\cdot BC=BA\cdot BC_1$ bulunur. Dolayısıyla Öklid'den $\angle BPA=90^\circ$ olur ve aynı şekilde $\angle BQA=90^\circ$ olur. Yani $A,K,P,Q$ noktaları çemberseldir.