解:∵∠1+∠2=180°( ),
▲+∠EFD=180°(邻补角定义),
∴▲(同角的补角相等)
∴AB∥▲(内错角相等,两直线平行)
∴∠ADE=∠3( )
∵∠3=∠B(已知)
∴ ▲(等量代换)
∴▲∥BC(同位角相等,两直线平行)
∴∠AED=∠C( )