证明:∵∠2=∠E(已知)
∴▲∥BC( )
∴∠3=∠ ▲( )
∵∠3=∠4(已知)
∴∠4=∠ ▲( )
∵∠1=∠2(已知)
∴∠1+∠CAF=∠2+∠CAF ,即∠BAF=∠▲
∴∠4=∠▲(等量代换)
∴ ▲( )