Statement Reason
1 - AB || ED Given
2 - ABC ==~ FDE Parellel lines cut by a transversal, alternate
interior angles are congruent
3 - BAF ==~ FED Parellel lines cut by a transversal, alternate
interior angles are congruent
4 - AFB ==~ EFD Two lines intersect, vertical angles are congruent
5 - Triangle ABF Two triangles where 3 angles are congruent to the
similar corresponding angles are similiar
to Triangle EDF