根据解答过程填空（写出推理理由或数学式）：

如图，已知∠DAF＝∠F，∠B＝∠D，试说明AB∥DC．

证明：∵∠DAF＝∠F（已知）．

∴AD∥BF（                  ▲                        ），

∴∠D＝∠DCF（                   ▲                        ）．

∵∠B＝∠D（已知），

∴（                  ▲                        ）＝∠DCF（等量代换），

∴AB∥DC（                   ▲                        ）．