在下面过程中的横线上填空，并在括号内注明理由。
已知：如图BC∥EF，BC=EF，AB=DE；　　　　
说明AC与EF相等。
解：∵BC∥EF（已知）
∴∠ABC=∠__________ （    ）
在△ABC和△DEF中

∴△ABC≌___________（    ）
∴ ______ =_________ （    ）

填空：把下面的推理过程补充完整，并在括号内注明理由。
如下图，点B、D在线段AE上，BC∥EF，AD=BE，BC=EF。
求证：（1）∠C=∠F；
（2）AC∥DF。
证明：（1）∵BC∥EF（已知）
∴∠ABC=（    ）（    ）
∵AD=BE
∴AD+DB=DB+BE
即（    ） =DE
在△ABC与△DEF中
∠ABC=∠EBC=EF（    ）
∴△ABC≌△DEF（    ）
∴∠C=∠F（    ）；
（2）∵△ABC≌△DEF
∴∠A=∠FDE（    ）
∴AC∥DF（    ）。