We know that angle CBA is congruent to angle FBA and that angle CAB is congruent to angle FAB because
. We see that
is congruent to
by the reflexive property of congruence. Therefore, we can conclude that triangle BCA is congruent to triangle BFA bec