如图,∠ACB=90°,AC=BC,D为AB上一点,AE⊥CD于E,BF⊥DC交CD的延长线于F.试说明:EF=AE-B