证明:∵∠1=∠2(已知),
且∠1=∠4( ),
∴∠2=∠4 ( ).
∴BF∥ ▲ ( ).
∴∠ ▲ =∠3 ( ).
又∵∠B=∠C(已知),
∴ ▲ (等量代换).
∴AB∥CD ( ).