угол АСЕ = углу CFD та как их смежные равны => треугольники АВE и CDF равны то есть углы при прямых, содержащих в себе АВ и CD равны(при секущей АМ) => по лемме(второй вроде) о параллельных прямых АВ||CD