关于蝴蝶定理的一道几何题
四边形AXBY中,XA=XB,YA=YB,XY交AB于M,过M作线段CD和EF,C在AX上,D在BY上,E在BX上,F在AY上,CF交AB于I,DE交AB于J.求证:MI=MJ.