完成推理填空：如图在△ABC中，已知∠1+∠2＝180°，∠3＝∠B，试说明∠AED＝∠C．

解：∵∠1+∠EFD＝180°（邻补角定义），∠1+∠2＝180°（已知　）

∴（同角的补角相等）①

∴（内错角相等，两直线平行）②

∴∠ADE＝∠3（）③

∵∠3＝∠B（）④

∴（等量代换）⑤

∴DE∥BC（）⑥

∴∠AED＝∠C（）⑦