如图,已知:∠ABC=∠ADC,BE平分∠ABC,DF平分∠ADC,BE∥DF,求证:AD∥BC.

证明:
∵BE平分∠ABC,DF平分∠ADC(已知)
∴ =2∠3, =2∠1 (角平分线的定义)
∵∠ABC=∠ADC (已知)
∴∠3=∠1 (等式性质)
∵BE∥DF (已知)
∴ ( )
∴∠2=∠3 (等量代换)
∴AD∥BC ( )
①∠ADC;②∠ABC;③∠2=∠3;④∠1=∠3;⑤∠1=∠2;⑥同位角相等,两直线平行;⑦内错角相等,两直线平行;⑧两直线平行,同位角相等;⑨两直线平行,内错角相等;⑩等量代换;
在横线上依次填写正确的顺序为( )