如圖，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的平分線（角平分線的定義）