StatementReason
AB and BC are congruent
CPCTC
DB and FB are congruent
Angle EBD congruent to angle EFB
Angle ABD congruent to angle EBD
Alternate angle theorem
Angle FBC congruent to angle EFB
ABD CBF
SAS theorem