完成下列填空：

如图，已知AD⊥BC，EF⊥BC，∠1=∠2.试说明：DG∥BA．

解：因为AD⊥BC，EF⊥BC(已知)，

所以∠EFB=∠ADB=90°（     ）．

所以▲∥▲（     ）．

所以∠1=∠BAD（     ）．

又因为∠1=∠2(已知)，

所以▲(等量代换)．

所以DG∥BA（     )．