∵∠1+∠EFD=180°（邻补角定义），又∵∠1+∠2=180°（已知），∴∠EFD=∠2（同角的补角相等），∴AB∥EF（内错角相等，两直线平行），∴∠ADE=∠3（两直线平行，内错角相等），∵∠3=∠B（已知），∴∠ADE=∠B（等量代换），∴DE∥BC（同位角相等，两直线平行），∴∠AED=∠C（两直线平行，同位角相等）．
