已知:如图,在Rt△ACB中,∠ACB=90°,CD⊥AB于点D,E为AC上一点,G为BC上一点,GF⊥AB于点F,∠1+∠2=180°.求证:DE⊥AC.

证明:如图,
∵CD⊥AB,GF⊥AB(已知)
∴∠GFB=∠CDB=90°(垂直的定义)
∴CD∥GF(同位角相等,两直线平行)
∴∠3+∠2=180°(两直线平行,同旁内角互补)
∵∠1+∠2=180°(已知)
∴∠1=∠3(同角或等角的补角相等)
∴∠AED=90°(等量代换)
∴DE⊥AC(垂直的定义)
横线处应填写的过程最恰当的是( )