如图，EF⊥BC，∠1＝∠C，∠2+∠3＝180°，试说明∠ADC＝90°．请完善解答过程，并在括号内填写相应的理论依据．

解：∵∠1＝∠C，（已知）

∴GD∥                  ▲                         ． （                          ）

∴∠2＝∠DAC．（                          ）

∵∠2+∠3＝180°，（已知）

∴∠DAC+∠3＝180°．（等量代换）

∴AD∥EF．（                          ）

∴∠ADC＝∠                        ▲                   ． （                          ）

∵EF⊥BC，（已知）

∴∠EFC＝90°．（                          ）

∴∠ADC＝90°．（等量代换）