完成下列推理过程．
已知：如图，AD⊥BC，EF⊥BC，∠1=∠2，求证：DG∥AB．
推理过程：
∵AD⊥BC，EF⊥BC（已知）
∴∠EFB=∠ADB=90°（                   ）
∵EF∥AD（同位角相等，两直线平行）
∴∠1=∠BAD（                   ）
∵∠1=∠2（已知）
∴          =          （等量代换）
∴DG∥AB（内错角相等，两直线平行）