完成下面的证明：如图：已知AD⊥BC于点D，DE∥AB，∠1＝∠3，求证：FG⊥BC．

证明：∵DE∥AB（已知），

∴∠1＝∠2（  ），

又∵∠1＝∠3（已知），

∴∠2＝∠3（  ），

∴  ▲  （  ），

∴∠BGF＝  ▲  （               ），

∴AD⊥BC（已知），

∴∠BDA＝90°（  ），

∴  ▲  （等量代换），

∴FG⊥BC（垂直定义）．