若证完本引理后我的证明：ACF、BDF共线，故ABCD四点共圆，易知XA·XB=XC·XD=XG·XH=XL·XF，设AD与BC交于K，则L为完全四边形XABDFC的密克尔点，由共圆构型引理KL垂直XF，即EKL共线。
由引理有XPYQ为调和点列，L处直角+角分线得XGLH为调和点列，故GQ与PH交点I，GP与QH交点J，都在直线MY上。
由引理有PL/QL=PA/QA=R1/R2，故5607得证。
在完全四边形XABDFC中得XF，XD，XK，XB为调和线束，设BC交XF于Z，则ZCKB为调和点列，故EL平分角CLB，5611得证
