已知：如图，AD⊥BC，EF⊥BC，∠1=∠2．
求证：AB∥DG．

证明：如图，

∵EF⊥BC（已知）
∴∠EFB=90°（垂直的定义）
∴∠B+∠1=90°（                    ）
∵AD⊥BC（已知）
∴∠ADC=90°（垂直的定义）
即∠2+∠3=90°
∵∠1=∠2（已知）
∴∠B=∠3（                    ）
∴            （同位角相等，两直线平行）
①垂直的定义；②直角三角形两锐角互余；③同角或等角的余角相等；
④同角或等角的补角相等；⑤等量代换；⑥EF∥AD；⑦AB∥DG．
以上空缺处依次所填正确的是(    )