BD=BC, AE=AC. Prove that DE=EF+DG