推理填空:
完成下列证明:如图,已知AD⊥BC,EF⊥BC,∠1=∠2.
求证: DG∥BA.
证明:∵AD⊥BC,EF⊥BC ( 已知 )
∴∠EFB=90°,∠ADB="90°(_______________________" )
∴∠EFB=∠ADB ( 等量代换 )
∴EF∥AD ( _________________________________ )
∴∠1=∠BAD (________________________________________)
又∵∠1=∠2 ( 已知)
∴ (等量代换)
∴DG∥BA. (__________________________________)