已知:∠1=∠2,∠2+∠3=180°求证:AB‖EF