完成下列证明：如图，已知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.（   ）