完成下面的证明：

已知：如图，AB∥CD，AD和BC交于点O，E为OA上一点，作∠AEF＝∠AOB，交AB于点F．

求证：∠EFA＝∠C

证明：∵∠AEF＝∠AOB，

∴   ▲  ∥   ▲  （   ▲  ）．

∴∠EFA＝∠B．

∵AB∥CD，

∴∠B＝∠C   ▲  ．

∴∠EFA＝∠C   ▲  ．