如图,已知:AD⊥BC,EF⊥BC,∠1=∠2.求证:∠3=∠B.