请把下面的证明过程补充完整:
证明:过点E作EFAB,
∵ABDC(已知),EFAB(辅助线的作法),
∴EFDC( ).
∴∠C=∠CEF.( )
∵EFAB,
∴∠B=∠BEF(同理),
∴∠B+∠C= ▲ (等量代换)
即∠B+∠C=∠BEC.