如图13,已知在三角形ABC中,BD⊥AC于点D,∠1=∠2,∠3=∠C.试说明:EF⊥AC.