推理填空：
如图，已知∠1=∠2，∠B=∠C，可推得AB∥CD．理由如下：
因为∠1=∠2（已知），且∠1=∠4（①理由：{#blank#}1{#/blank#} ）
所以∠2=∠4 （等量代换）
所以CE∥BF （②理由：{#blank#}2{#/blank#} ）
所以∠C =∠3（③理由：{#blank#}3{#/blank#}  ）
又因为∠B=∠C（已知），
所以∠3=∠B（等量代换）
所以AB∥CD （④理由：{#blank#}4{#/blank#} ）

∵∠2=∠3，∠1=∠4（{#blank#}1{#/blank#} ）

又∵∠1=∠2

∴∠3=∠4（{#blank#}2{#/blank#}）

∴{#blank#}3{#/blank#}∥{#blank#}4{#/blank#} （{#blank#}5{#/blank#} ）

∴∠C=∠ABD（{#blank#}6{#/blank#}）

∵∠C=∠D（{#blank#}7{#/blank#}）

∴∠D=∠ABD（{#blank#}8{#/blank#}）

∴DF∥AC（{#blank#}9{#/blank#}）