Fie C1∩C2={A,P}⇒O1O2 este mediatoarea segmentului AP. Fie AB∩O1O2={M}.
Pe dreapta PM alegem punctele H, I și J ca simetrice ale lui B, D, respectiv F în raport cu O1O2.
Din CE=HI⇒Lema∗CE∥HI.
Din EG∥IJ și EG=IJ⇒Reciproca˘ Lema∗P,A,G,J conciclice (1).
Dar PAJF trapez isoscel ⇒P,A,J,F conciclice (2).
Din (1) și (2) rezultă P,A,G,F conciclice, adică concluzia.