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