7 Círculos \(o_1, o_2\) con radios iguales se intersectan en los puntos \(A, B\). Los puntos \(C, D, E, F\) yacen en este orden sobre una línea, con \(C, E\) sobre \(o_1\) y \(D, F\) sobre \(o_2\). Las mediatrices de \(CD\) y \(EF\) intersectan a \(AB\) en \(X, Y\) respectivamente. Demuestra que \(AX=BY\).