如图，BD是∠ABC的平分线，ED∥BC，∠4=∠3，则EF也是∠AED的平分线．
完成下列推理过程：
∵BD是∠ABC的平分线，（已知）
∴∠1=∠2（角平线的定义）
∵ED∥BC（已知）
∴∠3=∠2（________）
∴∠1=∠________（等量代换），
又∵∠4=∠3（已知）
∴EF∥BD（________），
∴∠6=∠1（________）
∴∠6=∠4（________），
∴EF是∠AED的平分线（角平分线的定义）