完成下列证明：
如图，已知AD⊥BC，EF⊥BC，∠1=∠2．

求证：DG∥BA．
证明：∵AD⊥BC，EF⊥BC（已知）
∴∠EFB=∠ADB=90°（     ）
∴EF∥AD（     ）
∴∠1=∠BAD（     ）
又∵∠1=∠2（已知）
∴     （等量代换）
∴DG∥BA．（     ）