Folosim doar puterea punctului față de cerc:
NE⋅NF=NL⋅NA=NM⋅ND, adică (DN−DL)⋅NA=(AN−AM)⋅ND.
⇒LDMA=NDNA. Analog, HFID=OFOD și JAKF=SASF(1).
Pe de altă parte,
FK⋅FA=FH⋅FDDI⋅DF=DL⋅DAAM⋅AD=AJ⋅AF⎭⎬⎫⇒LDMA⋅HFID⋅JAKF=1⇒(1)NDNA⋅OFOD⋅SASF=1⇒ concluzia.