Si dos circunferencias se cortan en los puntos A y B, y por estos puntos se traza dos secantes paralelas, las rectas que unen sus extremos en cada circunferencia son paralelas.

El cuadrilátero ABCD y AEFB son cíclicos Þ CAB y BDC son suplementarios al igual que CAB y EAB Þ EAB = BDC, también EAB y EFB son suplementarios, luego BDC y EFB son suplementarios, y forman ángulos iguales con la recta secante FD, por lo que las rectas EF y CD son paralelas.

Creado con GeoGebra