∠BEF=∠EFC
证明：
延长BE,交直线CD于点G
因为AB∥CD（已知）
∴∠1=∠BGD(两直线平行,内错角相等)
∵∠1=∠2（已知）
∴∠2=∠BGD（等量代换）
∴BG∥CF（同位角相等,两直线平行）
∴∠BEF=∠EFC （两直线平行,内错角相等）