已知:如图,AB⊥CD于点O,∠CDE=125°,∠DEF=35°求证AB EF